{"entities":{"Q808278":{"pageid":810126,"ns":120,"title":"Item:Q808278","lastrevid":64490799,"modified":"2026-04-11T20:13:47Z","type":"item","id":"Q808278","labels":{"en":{"language":"en","value":"Essence of generalized partial computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4209623"}},"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":"Q808278$27C5E95F-46D6-4FA3-9293-B9548F0A3DB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43e6b1a55b410b93acb608599e318b929ac28bae","datavalue":{"value":{"text":"Essence of generalized partial computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q808278$EC7E6339-4D9A-463C-A14D-C8758CCEB7F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18c09b664d6062bb67e21baa9eb8a24c4adc82a6","datavalue":{"value":"0731.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808278$75DF1C10-96EE-4CDA-AB2B-057E4A4388C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c668ba05c3cdc9864546cc92c308510a50f84134","datavalue":{"value":"10.1016/0304-3975(91)90299-H","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808278$59F5A376-2426-4107-89DA-39E6B3B672F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e39f15e0b86b444cc86f8a3da572735ab5ec2d4","datavalue":{"value":{"entity-type":"item","numeric-id":232937,"id":"Q232937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808278$0823FCA7-4B55-41AF-AE9D-987382A382AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3583190f0954c4951733299e955ac360e02a6e8","datavalue":{"value":{"entity-type":"item","numeric-id":808276,"id":"Q808276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808278$C54BF0D3-844F-4F66-9A00-50ACE576257F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cb61e54ef36b373cf37866872f220ea9062b88e","datavalue":{"value":{"entity-type":"item","numeric-id":808277,"id":"Q808277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808278$305373DC-34DB-41AE-B28E-1B919590F402","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808278$E449B0BF-21D8-4465-8497-2D41492108A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q808278$A5DD19CB-648D-4303-9B54-DC66478547F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808278$7FA8B08E-9AE3-488D-AE58-3DDC178D31BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e51adb9822f591bbd3f4316e2d1215d9ff2541bc","datavalue":{"value":"4209623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q808278$21A6536A-50FC-44C6-91D1-FCA355CD22FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8299b480e6c179e003ef8b52d89d2aed489f36c6","datavalue":{"value":"partial computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q808278$9735E789-BC6E-45CD-A695-9C018D6F60C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4171ea3452ad77694350646997bc347c9ac7adee","datavalue":{"value":"program optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q808278$3C177D47-9988-4E00-892C-AAD616C2E490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q808278$6AB212C3-2E3D-49C3-A623-63E9851C17FD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4a10fa0d0fc1b68b6a8c9081db3fab0d000f0c64","datavalue":{"value":{"entity-type":"item","numeric-id":39349,"id":"Q39349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808278$698A07F6-E25A-487A-B21D-402F3B1CFE51","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":"Q808278$FF0AC49C-9814-4A84-B3CE-FB25AE8C8F21","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808278$0ECBFF90-E9C9-4F37-8656-F2A28D084A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9663d56153b81f209b58b441a26895f34be14a44","datavalue":{"value":{"entity-type":"item","numeric-id":1233314,"id":"Q1233314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808278$71396974-E8F7-42A2-A7A4-77B44E334D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4012a89f1a658242424bdf3943494dfbd4ac48a","datavalue":{"value":{"entity-type":"item","numeric-id":4134911,"id":"Q4134911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808278$F1841776-9550-48DA-8080-A03C54D95C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74e200c4f897ac4cb0c5ae9f1bab6477c1d7e3dc","datavalue":{"value":{"entity-type":"item","numeric-id":3090391,"id":"Q3090391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808278$B45BE9EA-E696-41DB-B0E7-2172E32C03F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd5865a7797cd1dbdcd00e31ed475893f29a8de","datavalue":{"value":{"entity-type":"item","numeric-id":3040478,"id":"Q3040478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808278$FEE25B7D-812E-44CE-84CA-19A9CD88DDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81fe3ea2fe36bdc6a3895bd7a7c16e72dee12971","datavalue":{"value":{"entity-type":"item","numeric-id":3854598,"id":"Q3854598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808278$FAC2CB12-A967-436C-B010-D20B28B7AD60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec4c0af17dc85865b0c440b7eba58f1bf7cca886","datavalue":{"value":{"entity-type":"item","numeric-id":1169808,"id":"Q1169808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808278$E5140F1B-8976-4A53-A58D-6B11983EC0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2908d4b99a7c50242fb1f39c53870f17b7349f46","datavalue":{"value":{"entity-type":"item","numeric-id":1108772,"id":"Q1108772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808278$D7D214C7-6C68-47C6-B504-EBE68EFFFE56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fb0cd25ca8cb587f2dbd90df962e8cb132d872f","datavalue":{"value":{"entity-type":"item","numeric-id":4743718,"id":"Q4743718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808278$4A26A9CA-560C-4328-AEEC-F6EADA39CB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cac7f741f9b1e3426d597355d63b43bdf762c36a","datavalue":{"value":{"entity-type":"item","numeric-id":4148937,"id":"Q4148937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808278$1D8C2CDE-1E1B-4799-B638-AA719DA3A05F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808278$B50E55B0-76C7-4A4D-8F77-68B8E71D1381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808278$C771C9B4-4F87-4BFE-AE89-BABA7C265F46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f7844458f896d2771fd91cb37244c607d2012fe","datavalue":{"value":{"entity-type":"item","numeric-id":3992424,"id":"Q3992424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808278$9B173919-CD99-4CBA-B848-2D43A35E8694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"305395d767f4a640605eaff754e44126df02a18c","datavalue":{"value":{"entity-type":"item","numeric-id":3742690,"id":"Q3742690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808278$302B80E6-D9CA-4E54-B5B1-F1709190BB4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8703228b70bd76dfe6540872520bac9ad5b1b1fc","datavalue":{"value":{"entity-type":"item","numeric-id":3732942,"id":"Q3732942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q808278$E4C5D5AC-29C4-45B2-8BEF-9678EA220907","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a48be1778c83fb80243be5c03a2ede4afb52987","datavalue":{"value":{"entity-type":"item","numeric-id":5881205,"id":"Q5881205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46633097702b9f50f3b45ab85a0642aaa791c2ef","datavalue":{"value":{"amount":"+0.8520007729530334","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":"Q808278$0BD2107C-D719-4A82-BE08-64EFDB94072A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eef05a2c033a50787839bbceb12273a2c386e2f4","datavalue":{"value":{"entity-type":"item","numeric-id":4414738,"id":"Q4414738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac31b16cd8a6c4aa566da6de25715df2e5dcb301","datavalue":{"value":{"amount":"+0.8414589762687683","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":"Q808278$466F90D7-89C6-4645-938E-492E58DD5045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e7d7a6d5754b4f41bf2457f5351dcb8dabc718e","datavalue":{"value":{"entity-type":"item","numeric-id":5957059,"id":"Q5957059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f45090b626ee3d56f0128cfacc7b15a650cc48","datavalue":{"value":{"amount":"+0.8208683133125305","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":"Q808278$6EEF7E2D-BBEB-4391-B5ED-A17523314A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5957233148c030c1cca307fac23d8d9335538b48","datavalue":{"value":{"entity-type":"item","numeric-id":808274,"id":"Q808274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43e057678b6e1a7a03c3caf257df182ef98ce625","datavalue":{"value":{"amount":"+0.7511136531829834","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":"Q808278$5D1967D5-5D45-44AF-829A-A29006FACE24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53cf23b985396c4ef3cb99cab8beb076e0821f5e","datavalue":{"value":{"entity-type":"item","numeric-id":3992424,"id":"Q3992424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e27b939d23a691cb9f6106325ed7706b6f99a89","datavalue":{"value":{"amount":"+0.7329196929931641","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":"Q808278$552045E6-6FC9-42DB-BF2C-E64C48B903E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Essence of generalized partial computation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Essence_of_generalized_partial_computation"}}}}}