{"entities":{"Q4654726":{"pageid":6684307,"ns":120,"title":"Item:Q4654726","lastrevid":48431710,"modified":"2026-01-04T19:14:46Z","type":"item","id":"Q4654726","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2143089"}},"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":"Q4654726$411EF59F-05F0-4EA2-829A-39D5C0A5C148","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e95c71490d51dc96b136cce4a4b7d337e48b9725","datavalue":{"value":"1088.68774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4654726$76FE0114-35D4-45DC-A02A-DF1CF06EF222","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66b9832b777d3d49331312d3eb8a93c8014d39e0","datavalue":{"value":{"entity-type":"item","numeric-id":444502,"id":"Q444502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4654726$47498935-EC4E-4418-BB9C-C4AC22CA2963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf7e7b304afc261de9ac094852ee3a0db52eaac7","datavalue":{"value":{"entity-type":"item","numeric-id":492909,"id":"Q492909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4654726$01E497C0-2D89-4BD7-9BCC-48B4E656E6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d8846866e0f2e2874e781dfcefe3a000615efed","datavalue":{"value":{"entity-type":"item","numeric-id":435967,"id":"Q435967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4654726$E56423C9-FE1D-4FF4-BFD5-C57BD4193BE9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd47d06c0da02a3275cef5e1a053a13d04438c27","datavalue":{"value":{"time":"+2005-03-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4654726$1C6D0A95-DE82-45CA-BB88-E3376A295B94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4654726$888E8F20-2EC1-43A2-AE49-CC3B21120A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4654726$557162DE-266D-4777-88FD-E869EC43E783","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74ea261d1b14801ce61a8ca954c964dc49e068a9","datavalue":{"value":"2143089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4654726$BD44863C-92CC-4EA8-AAAF-1C80DD5B6D6C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0f668560f85d7afd1fece97b175bc3414226fbb","datavalue":{"value":"program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q4654726$FD679728-EF19-4F1C-9E32-715A8665049E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9b11b684be0db66fa95f1492008da61e6f74a07","datavalue":{"value":"topdown fixed point computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4654726$D08DB579-1B2C-48EF-B137-B827252A14C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b58e3b9cb95bec63b496a4be243ce069e50b4f0","datavalue":{"value":"alternation-free least fixpoint logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4654726$D6EE9277-7F63-47D7-BD2D-F551C47D7D97","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":"Q4654726$D26C4D91-A77D-4AF9-B549-E602A77E0557","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b330cc63cc36cf3d91e7d3854de2939e752880a","datavalue":{"value":{"entity-type":"item","numeric-id":5308411,"id":"Q5308411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74005fc7ee410888b7390867105ece6602a305b1","datavalue":{"value":{"amount":"+0.7423839569091797","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":"Q4654726$D1A16544-AB29-4B33-A57A-BC4034E4CC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"254b549aaffa39ecd09d969491fc29364bd20e87","datavalue":{"value":{"entity-type":"item","numeric-id":5424885,"id":"Q5424885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8fdc04354898023e55b51c443556f25277ce7a8","datavalue":{"value":{"amount":"+0.7304608225822449","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":"Q4654726$05F21492-F95C-429B-BBA8-FE0C19B05449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86df0a704069eb49c994220515c17d02ba95667f","datavalue":{"value":{"entity-type":"item","numeric-id":5504668,"id":"Q5504668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8adc90e4dadf233fee641e6c97f6c6d33c7a1ff","datavalue":{"value":{"amount":"+0.7142383456230164","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":"Q4654726$D81D6747-8858-4F1D-8E9A-2363D8E2D0FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35aeda22f3a920efb04a4f7ba6583fa071520c28","datavalue":{"value":{"entity-type":"item","numeric-id":5030194,"id":"Q5030194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cdce05ca736cf08db886c394b620b709abff40a","datavalue":{"value":{"amount":"+0.7128944396972656","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":"Q4654726$18987D58-19F7-4E1E-9CB8-8D7392572857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e637b70632a490ac764e22dbcb97321d405fb7d0","datavalue":{"value":{"entity-type":"item","numeric-id":1818073,"id":"Q1818073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcdd4ccbce4288d131c7feaed45e95d86f464ba8","datavalue":{"value":{"amount":"+0.7105191349983215","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":"Q4654726$E9300DD6-57D9-4E3A-A85B-A722FD60871F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4654726","badges":[]}}}}}