{"entities":{"Q2729077":{"pageid":2739816,"ns":120,"title":"Item:Q2729077","lastrevid":47652814,"modified":"2026-01-02T08:35:17Z","type":"item","id":"Q2729077","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1629961"}},"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":"Q2729077$B0C34A15-340A-4C20-8358-8AC48549BF6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9e82aca2f5ec8b89d3abcd12a05b153268ed655","datavalue":{"value":"0971.68601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2729077$B99BA833-2C35-432E-8786-AA4541ABCB30","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1d10cc39a70417a38ac7235c5283a918f9545f5","datavalue":{"value":{"entity-type":"item","numeric-id":239156,"id":"Q239156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729077$4B701141-0A10-4F1C-8126-FE6B3EF9542F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"924d76138c4a9ca918a0e049d85adde817ca5296","datavalue":{"value":{"entity-type":"item","numeric-id":239157,"id":"Q239157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729077$22433C95-815B-4897-80A2-870428847951","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"276e2d894f0afabd8d0b22409adff80c34d1ec81","datavalue":{"value":{"time":"+2001-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2729077$70B7AC64-E988-4AC5-8CBB-2BBB327CD238","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"61f5e4db0e91212ef2106e3db512d71730a68751","datavalue":{"value":"68U99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2729077$94B55D9A-FC7A-441C-B29B-6449D8E28C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2729077$4A3EE041-BED0-410F-9362-1880702E7750","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9e77417f672561b234da95ec429790c6fc6a178","datavalue":{"value":"1629961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2729077$26BCC880-5609-4EB1-8E28-10F8E16C07BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2729077$CF70893A-E80A-4D2B-8A96-1E079BC3BFB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2729077$0F072EFE-69F9-46A8-9CCB-40083BA4006C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bda40ec213904c1453e8a281472f9239bacbf0a6","datavalue":{"value":"model checker","type":"string"},"datatype":"string"},"type":"statement","id":"Q2729077$0CAB0086-6E37-433C-B49B-7591E6A9D2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a7ad3b9bca4a77e404ee6853b2ee1f8b94bd5ca","datavalue":{"value":"monadic second order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2729077$5DA46144-B162-491B-B441-D36E89801782","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729077$0561E3A6-13E6-4234-906E-8D3E36EAB89D","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":"Q2729077$01969688-B48E-4A75-B102-4F9A96DAFF93","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a307029137dff4ea2ff32df601b7fca7ec09796","datavalue":{"value":{"entity-type":"item","numeric-id":3646165,"id":"Q3646165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"733036c03cc1879c597c1d1578d05cf971e87eec","datavalue":{"value":{"amount":"+0.722200870513916","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":"Q2729077$3C2911A2-AD61-4A4C-906F-E461903A9DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e16481ef3d6646e8991ab15d12bb20129e87bb6","datavalue":{"value":{"entity-type":"item","numeric-id":2722072,"id":"Q2722072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0612a6c70157ac0980113682525e9ebc8a6f4305","datavalue":{"value":{"amount":"+0.7125920653343201","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":"Q2729077$96653B4D-951A-4FE9-A5A3-E28BD3069EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62e8a589df1c8f915e50901282fb746e8e5469b","datavalue":{"value":{"entity-type":"item","numeric-id":4218939,"id":"Q4218939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b23f493d8349225c65d37592c5a875d1e54c00c4","datavalue":{"value":{"amount":"+0.7115767598152161","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":"Q2729077$962C296F-CCAA-4004-9EB2-A12DECD33467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"097730de95ff731c06554b80262eca38f1315589","datavalue":{"value":{"entity-type":"item","numeric-id":5312914,"id":"Q5312914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ceb34555611e60319045f2e5662d20ea8b0a951","datavalue":{"value":{"amount":"+0.7011761665344238","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":"Q2729077$A34947E2-AF74-422B-BA5C-40267230B3F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74747c930fd16f41c41b115f19236c7f065dcbb6","datavalue":{"value":{"entity-type":"item","numeric-id":4982082,"id":"Q4982082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9be80f10b808363696e767afd157ba6004845d54","datavalue":{"value":{"amount":"+0.6998956799507141","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":"Q2729077$70D1540E-750A-4636-84A5-AE4E6435939B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2729077","badges":[]}}}}}