{"entities":{"Q2452767":{"pageid":2463510,"ns":120,"title":"Item:Q2452767","lastrevid":52009859,"modified":"2026-01-20T18:09:51Z","type":"item","id":"Q2452767","labels":{"en":{"language":"en","value":"Parallel inference search in logical calculus based on the algebraic programming system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6300996"}},"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":"Q2452767$E4CE5EE0-8A40-4C25-AF3D-B3BD7F5DA926","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01349af69810f65e53aad299d4a91981a472b48d","datavalue":{"value":{"text":"Parallel inference search in logical calculus based on the algebraic programming system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2452767$FBFAF84F-A7EE-4638-A8BD-5B3B410392FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc64506dc06736ed05fd18b9dfdaf89dd94316e2","datavalue":{"value":"1288.68292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452767$BFD46277-8511-427C-B877-3B45FB21F015","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9d969ec15d30cf0c8d3d447a49483c00625375e","datavalue":{"value":{"entity-type":"item","numeric-id":2452759,"id":"Q2452759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452767$0D1F9ACC-E516-4D56-907F-1ADF1AE585C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"961528d2750eccdb49ec43352914b00e37bf2adc","datavalue":{"value":{"entity-type":"item","numeric-id":2452766,"id":"Q2452766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452767$BF66AD3C-8880-4A97-8A88-67D9F92AFA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ef08cca54b6dc5c7bcfa7ee920aeb381201e8f0","datavalue":{"value":{"entity-type":"item","numeric-id":1286272,"id":"Q1286272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452767$18EB8D93-657D-4263-9A57-A19E2B723AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9e0106a8247e4bf7b79a4b47524f15fadc8ba6c","datavalue":{"value":{"entity-type":"item","numeric-id":1127548,"id":"Q1127548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452767$F7845071-A491-44C0-990B-C344B59CF293","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b023419c56b9969f2d98b08637e9b0af86a936b","datavalue":{"value":{"entity-type":"item","numeric-id":199816,"id":"Q199816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452767$F2192761-1589-4A2E-A0E4-3EA74C6FFBF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"002822b1d48c58c3e40495095bf7295d32512317","datavalue":{"value":{"time":"+2014-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2452767$F9E68994-C7C4-446F-83B0-85E2D2136E49","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452767$35D6232B-D3EC-42E8-9CAF-8DD963BC27BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1de3565cfd3393000dd87ca545f95ff84d4c1446","datavalue":{"value":"68W10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452767$1F20F6BE-A52A-4E49-99CB-003B8BA7D90C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"648cbfa16970c463dd2858adfa3a0b782d418081","datavalue":{"value":"6300996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452767$C4B6BCBC-248B-42BA-94F6-E7CB73F8D08C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64242d0562aa6dac1bc635a88526e480004d794b","datavalue":{"value":"algebraic programming system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452767$45CA0C8F-6FEA-4CEB-97C7-E5AFFB5C6AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"237bb64abe07c31904fc0e8e2ddf2df232747977","datavalue":{"value":"rewriting rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452767$6807247F-A583-4290-A31C-6C66E0214627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"678844433114219afbf111be2d47ddf4979d89e6","datavalue":{"value":"evidence algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452767$4D6C8A50-417E-4989-A949-BA3EF85A3A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"caf3db3b9f8463ddd52fc0eeb93be0cad92b6b67","datavalue":{"value":"inference search","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452767$F5E06A68-364B-4DD7-B31B-382EAC46C6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e53027033cae6fbc26744a05040eb76af38465e6","datavalue":{"value":"parallel computing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452767$55D6C892-FD28-4C4E-B37F-54CE5AA1FE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ddc9a0cd844e32824631876b02438a1f305c361","datavalue":{"value":"cluster","type":"string"},"datatype":"string"},"type":"statement","id":"Q2452767$67EEB7ED-EF9B-482F-B7FB-CBA82E871487","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f41eea6c38120c5efc7b966e886a51a58f394d23","datavalue":{"value":{"entity-type":"item","numeric-id":13951,"id":"Q13951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452767$5E1E762C-7FA8-4352-9A88-E191042C6EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"98cd83fd979958aaf8f55eedae733a1697011a8b","datavalue":{"value":{"entity-type":"item","numeric-id":20964,"id":"Q20964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452767$84861EB9-E1F7-498F-B19E-218A17BF02B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aba6550e13a376face49ca2fd7481a4fa118fba1","datavalue":{"value":{"entity-type":"item","numeric-id":21958,"id":"Q21958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452767$86FA447D-1AF5-40A4-966A-3824DE178FE4","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":"Q2452767$B7205F60-9989-4529-BF66-49E1867F24FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e75c64c14574e44717c9cc2b691614c8f462bf65","datavalue":{"value":"https://doi.org/10.1007/s10559-010-9243-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2452767$C4FA4074-43BA-4587-B3D5-8C3BDB74C35D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6e5b074a4a67cea27bf1434867beea39887333b","datavalue":{"value":"W2024042772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452767$E15AEB01-1F04-45B8-9E75-41E2098CFF6D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b8720918c186edfa89953608e12b233c0a80382","datavalue":{"value":{"entity-type":"item","numeric-id":3491009,"id":"Q3491009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452767$75A266A8-942C-48EE-A25A-063A2F7C57E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ae3eddeb89340a23a9ca142dbec0d4de38658a7","datavalue":{"value":{"entity-type":"item","numeric-id":1311970,"id":"Q1311970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452767$F00698DF-FBAB-4F1C-8FB9-AC01C1F483C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73077fb34a2a0a51c3dfc6278fd13768562c600e","datavalue":{"value":{"entity-type":"item","numeric-id":1592004,"id":"Q1592004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452767$5525326B-647C-43B2-8F3F-6D49393AA242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c66d8856f8e177b00cfa580d673e297badf4214","datavalue":{"value":{"entity-type":"item","numeric-id":5653579,"id":"Q5653579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2452767$3CEF9F5E-4205-4EFA-BF0B-D295B14E6DD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6b9c8dde5d864dcb629bdacf6febf42f6e84b337","datavalue":{"value":"10.1007/S10559-010-9243-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2452767$1C254C5D-9174-42A9-984C-FC9A4171D8F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee7adadbbdcedda8a82e3ef550c54c50187a7be2","datavalue":{"value":{"entity-type":"item","numeric-id":2488156,"id":"Q2488156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c9daa32d887d14ce9583d86d610e46a2f9320ea","datavalue":{"value":{"amount":"+0.785885751247406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2452767$EB028C22-DF12-4565-BDA2-00CD7818AAEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e73e1f203d1418f4da64a61dfe1e3e5a07d59a90","datavalue":{"value":{"entity-type":"item","numeric-id":1778348,"id":"Q1778348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dced227d939534782c12498502ad484ceb1a853a","datavalue":{"value":{"amount":"+0.7815912961959839","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2452767$C8CA4E0E-C992-4C67-9302-2537D3150A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d75b0de3eaf6679dda011cd141a8b7574811f0db","datavalue":{"value":{"entity-type":"item","numeric-id":3491009,"id":"Q3491009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba15713c6c8170597669f283a5deb59a1216e668","datavalue":{"value":{"amount":"+0.7615386843681335","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2452767$22ED263F-520F-49F1-AC70-046996F9378A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fad1674c6d83dc31194cbf0f096419a4ed6ac1f","datavalue":{"value":{"entity-type":"item","numeric-id":1102766,"id":"Q1102766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd2fba3508c02742bec67cdac19648cc403760ea","datavalue":{"value":{"amount":"+0.7538135647773743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2452767$F4C8AF29-A330-4F5F-A02A-FAE995502C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b0301a59c0799d83990c84ec39b4045e2605dd9","datavalue":{"value":{"entity-type":"item","numeric-id":3716327,"id":"Q3716327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0682d0985f396b973b98b6d5861109478743274","datavalue":{"value":{"amount":"+0.7537707686424255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2452767$39E5C331-F36F-4BF4-A3B1-959A26CAD7A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2452767","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2452767"}}}}}