{"entities":{"Q972425":{"pageid":974273,"ns":120,"title":"Item:Q972425","lastrevid":42793429,"modified":"2025-07-11T13:20:27Z","type":"item","id":"Q972425","labels":{"en":{"language":"en","value":"Partial and nested recursive function definitions in higher-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5711941"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$AEB50DB7-5E11-466A-A7E6-3B1B870E9296","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fe2cc879f039f6a2adc5ff1d606bce4e7969a3f","datavalue":{"value":{"text":"Partial and nested recursive function definitions in higher-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q972425$74B5F92E-A2F0-413C-A3D2-C0C02DFE806B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba111295353fb5ab30a5c9f88ca9f708afcc0a8b","datavalue":{"value":"1214.68335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972425$7E4496D9-93EE-47F7-B869-2852644B0FA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb9a75665101462bc01a2c7426c95f31a74ce050","datavalue":{"value":{"entity-type":"item","numeric-id":438557,"id":"Q438557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$62B03EC0-C381-4B8C-B77E-B6BCD3C6E716","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$87323197-0D80-41E9-A6D8-C33AE5416E8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42e10e35ad52bbf92f1ddeac6dedccab922b34f1","datavalue":{"value":{"time":"+2010-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q972425$991E9B25-56D6-4D02-AF06-F3FA6BC21DDF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972425$3A7E2FCF-482C-4A79-83CA-E2FB2C8A42EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd188b4913b1f9a2b9cc4914d64788e1733df304","datavalue":{"value":"5711941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972425$5BBB621B-793A-4129-AC6C-A41FC2E7B529","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddbcb2073b5c7b755f2e5b673e59622629e687d7","datavalue":{"value":"proof assistants","type":"string"},"datatype":"string"},"type":"statement","id":"Q972425$BC8F83EA-BFAA-4B1C-994D-C00C1C0D0BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d31be1229374545ff94fd95ad2a5ce9870f120db","datavalue":{"value":"partial functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q972425$C335851A-7DC3-44F1-9B08-ECC06FAC7287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7f511033bda61703b318967a271e398e77c378a","datavalue":{"value":"nested recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q972425$9A41769C-854F-4455-BF74-012C644CCF51","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$04536B6D-F1C3-478D-95FF-C0B0BFC5BC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$26EBE59F-CEA5-474F-AFFA-D86D592EADE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$1C78153A-0FCA-4689-AF14-ACB064D47621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$22F6A1BA-E2FC-411A-A27A-FD543D94FC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$9C537935-61D0-443E-B313-63DC89BFA209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$2B08B23E-0139-4C85-9B9E-D29AA2A2ECAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$0B73959A-3C0C-47CF-A86B-0AF328BFDA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aca41f313ec935c6c7a90dad170b49859b6fac14","datavalue":{"value":{"entity-type":"item","numeric-id":17120,"id":"Q17120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$66F87E35-B19A-48F9-86FE-209F3BE6DA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"32df0db6e18dda63bf8323dbfd7b4bdfd3b0dbf9","datavalue":{"value":{"entity-type":"item","numeric-id":40275,"id":"Q40275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$5975D069-DAC4-43CC-BD18-6883B730A5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$21E7F484-492D-46EA-90F7-00AC01B728B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcaf3b20cd7fd897f2f47a708bad9d4f554cb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$3CDF0856-872F-4050-AE8C-C36D9779A814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$4B10A711-BD99-441E-B4BA-675A189AF304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e07b63a7544a6d7c83390f82ddae368b77e124c","datavalue":{"value":{"entity-type":"item","numeric-id":19570,"id":"Q19570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$C0AC270B-3959-49DB-8FEB-933792B17BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d40b61763c81cd80c5c82e03c39b2fdb5cbb80a2","datavalue":{"value":{"entity-type":"item","numeric-id":23989,"id":"Q23989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$7E622824-0A91-41EC-A65C-AD7B19096325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"98fa4eae74c00b37595e0b95ae97e84b58f1b880","datavalue":{"value":{"entity-type":"item","numeric-id":40317,"id":"Q40317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$D94BBE41-C59C-4AD1-A640-5753E3D31E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$2FCEF962-548F-4890-911A-7AB59687D8A7","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$56DA9A8A-F601-41AD-82C4-5CE97B508088","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"891090c3fddbf21d1d053e9d297f28644e0d0036","datavalue":{"value":"https://doi.org/10.1007/s10817-009-9157-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q972425$CC00EA42-6FA1-4CB2-B621-D42A1B9F129D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f46186dbb7767c5fc276b7e32974feab584d347c","datavalue":{"value":"W2082393912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972425$E3F2784B-274C-493E-BD7B-07272E5B50BF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"85b58e334bbf84629d414ca7d6688164e5524fe2","datavalue":{"value":{"entity-type":"item","numeric-id":4726218,"id":"Q4726218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$A2FAC098-215B-42E2-B0F6-3422A8BA432A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee132c4e5792ab38a0ff46d3d93155b8fcbe98d8","datavalue":{"value":{"entity-type":"item","numeric-id":1978641,"id":"Q1978641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$344C63AB-F343-427F-9F61-463757B26931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a655377852f4fbc1e40cdceec18686655bda680","datavalue":{"value":{"entity-type":"item","numeric-id":5712320,"id":"Q5712320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$C2C5DF6A-338B-4AD6-BCA3-3422E17D87BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad38e0ef5109c872fd15da36ed5bb76b94d70ec6","datavalue":{"value":{"entity-type":"item","numeric-id":3434629,"id":"Q3434629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$23A90334-AEBA-44B9-8B6D-21C6F190E619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c60f93a1843fcd9c0656971efa4327b435decb9","datavalue":{"value":{"entity-type":"item","numeric-id":4736387,"id":"Q4736387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$5AC4A347-DAE0-4D2B-A12C-70C4C57370D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"403738ebc449032b2c0b132c2ef1a436783bf929","datavalue":{"value":{"entity-type":"item","numeric-id":3183526,"id":"Q3183526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$5D6588E1-7D68-4B8C-8D05-99C09E282E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20edcd59bc17da043a934bc071def38938532f97","datavalue":{"value":{"entity-type":"item","numeric-id":4945200,"id":"Q4945200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$3074CE22-BCD1-4B0E-9C47-DDF8AE043117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$EA6CB245-96D8-4BE1-9FA5-EA1EF0C993F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd3c1ad58f8d3ff5f9672b1fd7f4ce922b034d87","datavalue":{"value":{"entity-type":"item","numeric-id":4435459,"id":"Q4435459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$024F6559-9268-435B-BE72-FEA077ADFA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6224b375b18b97f01436004cb27e211f581673b6","datavalue":{"value":{"entity-type":"item","numeric-id":4790656,"id":"Q4790656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$90FD10B5-EF32-4BC4-89BC-6A1691CFC42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b7fccd560221ea7f03064eaf67187aa99c6ef8f","datavalue":{"value":{"entity-type":"item","numeric-id":5697711,"id":"Q5697711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$307B197E-BC1E-4A22-BA28-BE550761D975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d65a1c5241cd7b9ba7b996dda44d950b8f5a9faf","datavalue":{"value":{"entity-type":"item","numeric-id":5704004,"id":"Q5704004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$F5D2BCD9-FDEB-46C0-8420-F669B26C02E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0750119319825b48163ea7e9aaeedc16167046c","datavalue":{"value":{"entity-type":"item","numeric-id":3612623,"id":"Q3612623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$1960510F-CEFE-41B2-9D05-AE9C9F455AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$DF311CAC-44A3-4AA3-B450-D9ECF5138529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aad2711eb9c64a58dada485191047b8af29959d","datavalue":{"value":{"entity-type":"item","numeric-id":4040283,"id":"Q4040283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$CC83306E-CBD8-430C-8FBB-70DE4B30AD9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7aea7368304c81d99f05a85147c94cac452455e","datavalue":{"value":{"entity-type":"item","numeric-id":3523164,"id":"Q3523164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$68457426-8E2D-4E56-A8F9-EC3C1E39FF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364525b70d80e5ad032dd4bcb752b39f36195669","datavalue":{"value":{"entity-type":"item","numeric-id":4508246,"id":"Q4508246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$05BEA773-B4A7-4E1A-9961-3E77E89621BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b05f5e5a6c7354caaa9141196fc1e92ff4579eb6","datavalue":{"value":{"entity-type":"item","numeric-id":679251,"id":"Q679251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$95FD4497-44D3-403E-A9E3-9707B3E2A7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c02ff547cfaf7e165513cf8f07ad1a1e28baa67e","datavalue":{"value":{"entity-type":"item","numeric-id":1367078,"id":"Q1367078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$257D70B5-AF99-4C04-834C-04D42AA75EC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c38bf30473891f925b8eae2804f1a04e3e3de28","datavalue":{"value":{"entity-type":"item","numeric-id":1595923,"id":"Q1595923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$271B8441-8227-4AC8-94E9-6948540EE510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$F53DFE46-CA9D-4BB8-A206-C23514C5D22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"100bb1ccd2c2d9635aec4ef9416ea5fe826fe553","datavalue":{"value":{"entity-type":"item","numeric-id":5437032,"id":"Q5437032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$1F2CDEF6-0635-4956-B0F0-D78475E40CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"935e96858077565d4f78764b795519c8fe29e5cc","datavalue":{"value":{"entity-type":"item","numeric-id":3613436,"id":"Q3613436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$84B07BC0-E576-4563-B9F0-6A47FD8BA964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f8a0484d56d68801f0437288a1ce7994f7539d9","datavalue":{"value":{"entity-type":"item","numeric-id":3608789,"id":"Q3608789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$92639A9D-987E-4E66-A603-8F4B504B5D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78668ae87248f7a1c29024ec1dc4abe60aff1595","datavalue":{"value":{"entity-type":"item","numeric-id":3559770,"id":"Q3559770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$AF57A6CB-EF7A-48C1-9C41-AD06F14D92B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98052a8fe89669b2fe4131e688755f41384ea6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$93661335-B08D-423B-A350-29864B66B685","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c625f6ce6390ed7bc9f81156e2e10cd0430a0c67","datavalue":{"value":{"entity-type":"item","numeric-id":1157924,"id":"Q1157924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$8CEC3695-73FD-4A6A-9544-45EF9BB5636A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7396a7d7693b676318207b9fce821ae1fe747e9","datavalue":{"value":{"entity-type":"item","numeric-id":1425160,"id":"Q1425160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$C524F506-0744-4960-8815-80DACCD58B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7fe4f7bbdf41a15f375fda905d86bb957912ea","datavalue":{"value":{"entity-type":"item","numeric-id":4247084,"id":"Q4247084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$3952F689-C69F-4A51-A7FC-6337E5F8A731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$67956607-7675-4560-AC2C-2B1D89EAA62F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"351df2a8b1173f3d3a83aebab494a1f900b8f514","datavalue":{"value":{"entity-type":"item","numeric-id":1029815,"id":"Q1029815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$45788F60-8354-4A80-AF01-8F86A571ECDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb4b038fd1cd96d2d0b93f00fc07b837c0892dc7","datavalue":{"value":{"entity-type":"item","numeric-id":1060023,"id":"Q1060023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$A24F2323-D0EF-478A-9928-5080F50BEDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ce2f2688bf59754f0928c1807f6ea6f9d5dfc4f","datavalue":{"value":{"entity-type":"item","numeric-id":2754066,"id":"Q2754066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$CFF7B130-826A-4C3B-9358-556DB6E69D87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feea37c535bd22cbdd726fd39655db123c9a3f5","datavalue":{"value":{"entity-type":"item","numeric-id":928672,"id":"Q928672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$5335A169-06A5-45B5-8D78-9EF221113092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171950b3ab9ade8bc3f4b6d5dc3a4e3f47cef757","datavalue":{"value":{"entity-type":"item","numeric-id":1341666,"id":"Q1341666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q972425$41023264-3BBC-4442-A860-919A2505C16C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc7817bca2cf139c2ee53e56c6a6c886b8f7e405","datavalue":{"value":"10.1007/S10817-009-9157-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q972425$0E27B830-ABA5-4262-A4FF-2B805A5C44AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb33dbf764138f812d35e37589bcb282274e2082","datavalue":{"value":{"entity-type":"item","numeric-id":3613436,"id":"Q3613436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e97ad5b7c13294edf0efb01f80102a297a209e9","datavalue":{"value":{"amount":"+0.9658312","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q972425$195B822E-FF58-4C4C-A7C9-92CDC4050B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c15c59c0eaf3a881eb72640df088e435697580","datavalue":{"value":{"entity-type":"item","numeric-id":4910419,"id":"Q4910419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd2f315f27e0a1e37a4a3435d2bffaaf5164129d","datavalue":{"value":{"amount":"+0.9281579","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q972425$56B62725-119C-4EEF-AD7D-76984E5420C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cc68cc3d46dac776e2b85259f27d0f30f32b163","datavalue":{"value":{"entity-type":"item","numeric-id":3358718,"id":"Q3358718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ab0d380248f8b7187d88cf2d858b87fcf62b5b4","datavalue":{"value":{"amount":"+0.923661","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q972425$0A1225A9-FACE-4089-AB58-3E5C9899117C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c3afdc1d99b49dfe9d0e45fa71c9a8896abc5a1","datavalue":{"value":{"entity-type":"item","numeric-id":4395617,"id":"Q4395617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c74e5ab44501fceb0e953c57c83935a16d4f84cf","datavalue":{"value":{"amount":"+0.9025394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q972425$6CB3A932-0D45-4AC3-98E9-1CDFE82BA573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3788954786bb5224a00826baf10f48dd927c1ab","datavalue":{"value":{"entity-type":"item","numeric-id":5898846,"id":"Q5898846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8392a0a8516d45299efcece7233d95742b9e7e5","datavalue":{"value":{"amount":"+0.8962709","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q972425$F8EA7889-6795-47AD-B411-2435F17E582F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13f12cc42a11f603ff3a7078a8ce829374450f4f","datavalue":{"value":{"entity-type":"item","numeric-id":4790656,"id":"Q4790656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dad1ed6218f49b44dd06d79764ba1555e2e64009","datavalue":{"value":{"amount":"+0.8939998","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q972425$07D76939-E217-4596-AE75-36031FFAA916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ded7c8f43fda6b54b358cce50c7ed9844c5c974","datavalue":{"value":{"entity-type":"item","numeric-id":3780444,"id":"Q3780444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0e006740600ce5e211913ae317432dce3fcdab1","datavalue":{"value":{"amount":"+0.8901268","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q972425$F087ED57-4ED5-4810-94CB-828E9886D380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13131697099a111faba428a1a395217939e7c5b8","datavalue":{"value":{"entity-type":"item","numeric-id":817692,"id":"Q817692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9098d36dc3507572c533031beca039da9cc6c637","datavalue":{"value":{"amount":"+0.88527155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q972425$ACE22FD9-8118-46E4-92EE-8816EABBD47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82c9d85965052e2bc13113c742035b33e6e341ba","datavalue":{"value":{"entity-type":"item","numeric-id":5402519,"id":"Q5402519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfc1a5a6c46725e2f7febeea8e38d6b69a454939","datavalue":{"value":{"amount":"+0.88513225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q972425$AC62DF86-C339-46BF-9157-D1D2B46802E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22173373a36b1b142d22a05e5b18e5f09b270992","datavalue":{"value":{"entity-type":"item","numeric-id":2754055,"id":"Q2754055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e3aa59fee41188ad1e283893005f33f9d993c44","datavalue":{"value":{"amount":"+0.8822037","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q972425$8D6B6BDD-0183-4958-AB13-460551E51BA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:972425","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:972425"}}}}}