{"entities":{"Q2847391":{"pageid":2858111,"ns":120,"title":"Item:Q2847391","lastrevid":83763056,"modified":"2026-05-07T10:53:14Z","type":"item","id":"Q2847391","labels":{"en":{"language":"en","value":"Algorithm synthesis by lazy thinking: examples and implementation in Theorema"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6207105"}},"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":"Q2847391$E2C2B5C6-85BC-48C1-9CC7-46CF378735A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b46fcf572872f0c6b9c5a9d9dcd8b8f2e86a417","datavalue":{"value":"1271.68208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847391$DB251DF5-B1C5-4BCC-B5C8-73B07B1EEF8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa740d7cb09ca4fbf14f2e113394450c436e8720","datavalue":{"value":{"entity-type":"item","numeric-id":229598,"id":"Q229598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847391$EF835F44-1492-497E-B976-D6CECA0F3728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1003c4f09725aecca735f79d55fdefb06ed2cd61","datavalue":{"value":{"entity-type":"item","numeric-id":865640,"id":"Q865640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847391$92A930A8-C9EC-47C0-B314-4DA029F9A53E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e8c017497806797f217f1d658e3d224a2498206","datavalue":{"value":{"time":"+2013-09-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2847391$46484BA1-0A98-41D9-A49B-C06C45D05914","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1a4f24e2eb84cc1e67e383f4aebf314df179311a","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S157106610400012X","type":"string"},"datatype":"url"},"type":"statement","id":"Q2847391$9F2E435D-4BD7-4692-9D08-B41B9ADFFF4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847391$17C9F09C-DA8D-44DF-8B71-4A96810D3249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847391$9CB2034A-7E97-41D0-A402-DE880AD1966C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6394a8937cb9b387fad4337cb4b35ce908e33584","datavalue":{"value":"6207105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847391$8068081A-2D2D-4ABE-8D86-D3D8530EAA49","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"261ae6dfeffd96c9ea238e124055221c78337064","datavalue":{"value":{"entity-type":"item","numeric-id":13705,"id":"Q13705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847391$756BAC7A-EB6E-4E71-949F-0871F8326B66","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":"Q2847391$8E6B9A1B-7F8C-418A-A77B-530683D10E99","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c410c4fc1b864f2990f560641cd7eefc1bf3666","datavalue":{"value":{"text":"Algorithm synthesis by lazy thinking: examples and implementation in Theorema","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2847391$995CB370-ECAB-428B-B564-80156B2836F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d404087e829c7aed919d7274ca304fc9c5bb1951","datavalue":{"value":{"entity-type":"item","numeric-id":3416408,"id":"Q3416408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6d7e4620d55e84668b6ea9b53d8491ad14dc2d4","datavalue":{"value":{"amount":"+0.9012459516525269","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":"Q2847391$B60372E0-3044-445E-BAA0-76ADCFCD4D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2c23355250f61d34e4d74eb39c1632b569cf189","datavalue":{"value":{"entity-type":"item","numeric-id":5699466,"id":"Q5699466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcacdac739ca1235272f97ef8ebe5df158290f8d","datavalue":{"value":{"amount":"+0.8526486754417419","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":"Q2847391$F6AB6DAF-D712-4F11-B7FE-22B8D44FDFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94184a395173f1800c8efb0fef89d70cee12a70a","datavalue":{"value":{"entity-type":"item","numeric-id":865646,"id":"Q865646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ad87ecbf5290962e6fae696d2db9a84c0ba4d03","datavalue":{"value":{"amount":"+0.7459863424301147","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":"Q2847391$9048A242-9529-4E90-B10F-E3ECAD37C85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"966a62df55303def5469e227ab4922b09edf8fc3","datavalue":{"value":{"entity-type":"item","numeric-id":485837,"id":"Q485837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a35e3507af165f699433bcaa80d577181441630e","datavalue":{"value":{"amount":"+0.7418981194496155","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":"Q2847391$6B2CAFDE-B7CD-47C5-BF37-BC806D7CD0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b2ef1dfb8450e1a64b77276d877120e7c94cd7d","datavalue":{"value":{"entity-type":"item","numeric-id":4023948,"id":"Q4023948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bb86b17bcb4c711fc96856fa42a73bf1f9602d4","datavalue":{"value":{"amount":"+0.7399464845657349","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":"Q2847391$F591763C-2BAF-4045-A7EC-2F4CC1214670","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithm synthesis by lazy thinking: examples and implementation in Theorema","badges":[]}}}}}