{"entities":{"Q2493750":{"pageid":2504493,"ns":120,"title":"Item:Q2493750","lastrevid":78748193,"modified":"2026-05-06T12:20:49Z","type":"item","id":"Q2493750","labels":{"en":{"language":"en","value":"A symbolic and algebraic computation based lambda-Boolean reduction machine via PROLOG"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5033033"}},"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":"Q2493750$0A8140F6-8B37-4B00-AA4A-CF7B1679E6DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c129fe298493103376006568a709ae6ff47f3115","datavalue":{"value":{"text":"A symbolic and algebraic computation based lambda-Boolean reduction machine via PROLOG","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2493750$4A3E7CB8-9CC6-4057-80F7-26E5C40A4104","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93efd56e0f2dd53656266e01346c4de46976cf0b","datavalue":{"value":"1095.68751","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493750$1FA51E90-917D-47A4-B6AC-4E9FDC52FF51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f5334f82afa5735adc76e2f19d89995ccdc8d0f","datavalue":{"value":{"entity-type":"item","numeric-id":861191,"id":"Q861191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493750$6E24005A-3070-4945-9EC2-9405D34D8458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4d183bc2f56e8b10f61c93801aa2d47d04a0d15","datavalue":{"value":{"entity-type":"item","numeric-id":861190,"id":"Q861190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493750$E1CEB810-B03D-4E3C-93CA-FDBB8F95E304","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"add6fb6b993c46c88f8cbd1c0026e2e785c9381d","datavalue":{"value":{"entity-type":"item","numeric-id":70476,"id":"Q70476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493750$16F4C370-5231-49BA-8B1D-8647B947749E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e9867ede6d48380dfdfaea44fb9becad3e353add","datavalue":{"value":{"time":"+2006-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2493750$F010938E-19B9-4879-BE57-A9261FD0E151","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e56f5bcd1cba5d635cedcc15d52c9f2599ea1176","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.6430","type":"string"},"datatype":"url"},"type":"statement","id":"Q2493750$244CE4A7-EB7D-4D51-8A7C-16EE03387AB8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493750$F3AD9FDB-B034-4F66-9679-CFED3A7092E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493750$F7E0A074-9BDE-4512-9F43-14BD62BCCA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493750$8606FC73-2396-416C-B882-027BE51ADF37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493750$E323A3B9-486B-41D3-925E-18ED97525BE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493750$19CB3558-586E-49B6-9280-79ACCE3A78D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06504eb194af2c2c48cd13c20a66dfa72bca1975","datavalue":{"value":"5033033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493750$E60FE3CE-A7AA-4E5E-AA1C-BF6994A9FE6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2493750$26F906DF-FEA4-4123-A28F-DFB534653489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36d36b38bf702789545c37bbad6091f8304a9f53","datavalue":{"value":"lambda-Boolean reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2493750$ADEAFCEC-FA14-43DB-AD35-2FF4EE0BDF57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e36fd2915ee69146bd208b73e1714d6ba9054ec","datavalue":{"value":"symbolic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2493750$6E271687-F0B6-4CE5-84A9-F513B1D516E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c026303c6acf4562e5c5e6994e46d235eee3a301","datavalue":{"value":"algebraic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2493750$42FDB1FB-D5F2-4149-9D56-63774A1933DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd59d671c70179e50aa218d3fbd15ae36808d8dd","datavalue":{"value":"Church-Rosser theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2493750$50F0F625-5CCF-4694-A8B5-EE78D5AB3C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q2493750$B8B7B64A-78CF-49C6-B643-952421B028FC","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":"Q2493750$8B72FDCC-4630-469C-8A5A-53394C291921","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6f5b2686704ab5235bab21689e1cb53fbd5e5eca","datavalue":{"value":"W2001870677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493750$E78D5B63-EAFB-47C8-8C6F-21071CC3B878","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"afc5654d832d0941d0c48ae13116284a76433633","datavalue":{"value":{"entity-type":"item","numeric-id":3992583,"id":"Q3992583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493750$39192D27-139D-4898-BC9C-B1B0209101AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493750$FF98A38A-DD95-47F6-89C9-DC81F4360184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493750$73B1B683-76B2-4AF9-B157-2C5EAB036EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d69c09ba575b94a7d478a9c68340295d9eb6a60f","datavalue":{"value":{"entity-type":"item","numeric-id":3803086,"id":"Q3803086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2493750$765DDC7A-A515-42EE-8EF7-14441D648E95","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7d2d92aa7c377edbfa1f3218042b68d893bb6c7","datavalue":{"value":"10.1016/J.AMC.2005.09.081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2493750$0195144F-97EB-4006-A5AA-07EBFE2267AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5896dadc09ad926c4e2b809953db02798aa52964","datavalue":{"value":{"entity-type":"item","numeric-id":4847803,"id":"Q4847803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b40be347b759eaa14bfd970ea096581d0f275e04","datavalue":{"value":{"amount":"+0.86284447","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":"Q2493750$DEB96154-A26B-44C8-BE3F-2EE9B9591C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0588fa81d050cdfd9c6444384081d8916c34387d","datavalue":{"value":{"entity-type":"item","numeric-id":3011126,"id":"Q3011126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edba75475e8dec8d258015cca3e8c541dd09bbf7","datavalue":{"value":{"amount":"+0.85966706","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":"Q2493750$DD16EDB2-290B-4467-AE11-B2F61992F0AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eddc43e93315c3edf81ea2549676a5447f20299f","datavalue":{"value":{"entity-type":"item","numeric-id":2371752,"id":"Q2371752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8072c7cfa7fcb495ecd252e45eb611c18eed75d0","datavalue":{"value":{"amount":"+0.8517344","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":"Q2493750$5A16BA2B-B6B0-443E-A932-078DCC7F2BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d45dcc47dd5667e8f299a7f67431a6f3cee50783","datavalue":{"value":{"entity-type":"item","numeric-id":5016210,"id":"Q5016210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aefdf414d7099dddeb5e49c4873fb6e644aaefb8","datavalue":{"value":{"amount":"+0.850569","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":"Q2493750$AAB56944-5F31-4065-AB84-7BF81619B2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29c3ffbea4c9f950155ec4ec6eb05321b27772d6","datavalue":{"value":{"entity-type":"item","numeric-id":1857307,"id":"Q1857307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88077cb4788b37043a9b8cc5fcc01ead4dc02958","datavalue":{"value":{"amount":"+0.84793305","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":"Q2493750$7C1FC653-5B46-4BF1-8C8E-2587BA26CC6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0634602489ef699a910fdd6e87b1a8ada0da63e9","datavalue":{"value":{"entity-type":"item","numeric-id":4413066,"id":"Q4413066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d90ed5d948c3e3bed07db0a0fd46f59c3253c9d","datavalue":{"value":{"amount":"+0.84786487","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":"Q2493750$1879AC67-106D-42A5-B264-8781E8A2349B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5205b198ceec958417b1610078225fc6f88e85bc","datavalue":{"value":{"entity-type":"item","numeric-id":5096873,"id":"Q5096873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23b45fb954c67d59e10a12d8dc54b7a5c94cdb64","datavalue":{"value":{"amount":"+0.84639424","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":"Q2493750$8D4DF722-9B9E-46C3-B489-C8A88D8F3FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ead7187af7e8c8a30187e9a6cd4c1f14f7bdd837","datavalue":{"value":{"entity-type":"item","numeric-id":4473057,"id":"Q4473057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40f3670eefd2e14df1372758ae47bddeaff8d3fb","datavalue":{"value":{"amount":"+0.84541535","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":"Q2493750$D65944CE-F3B0-4FE3-BA38-19F76B918B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cca48d0e440db16032230a87f8cae57570a5856a","datavalue":{"value":{"entity-type":"item","numeric-id":5703851,"id":"Q5703851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82982f0a9bfd530953118e3612e80bb59082b636","datavalue":{"value":{"amount":"+0.84533596","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":"Q2493750$68E64824-30CC-4AC0-A327-B37E82798BD1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A symbolic and algebraic computation based lambda-Boolean reduction machine via PROLOG","badges":[]}}}}}