{"entities":{"Q3749041":{"pageid":5778947,"ns":120,"title":"Item:Q3749041","lastrevid":51015899,"modified":"2026-01-16T05:35:43Z","type":"item","id":"Q3749041","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3985194"}},"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":"Q3749041$4415AC51-6D75-4F51-A90A-F623C089A352","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26eb6c48af7e509d36656c0244325f09db54c9b1","datavalue":{"value":"0609.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749041$FB17DFE4-54E5-43BB-9409-8A625F5F0993","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3749041$806E1217-72FC-433E-B111-81E67CEA4DB2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749041$BF972AF2-2E69-49F4-88C8-A0BF81261224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749041$0D993307-D787-4615-9974-4AD50AD0B83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749041$10A7CC8C-1622-40FF-90FB-BE44E7527A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749041$F1CE741B-6BA2-48A1-B3FD-6013BDB97492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749041$44D58048-12B3-460A-BF2A-434752174812","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"389a9056f2ba2c14c422eafe3da593cab67e3197","datavalue":{"value":"3985194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749041$8FF59E79-19F4-4909-9AD4-AF74558A4AB6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea0d299920022edce35db71b9ef58e865e2cd3d4","datavalue":{"value":"program logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3749041$D69EA77C-6BAF-4B96-9C19-56E5E2EAA9D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e02371642cec8856a2b0f1982452bbc08d0d63","datavalue":{"value":"finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3749041$4CE5E331-09AC-409F-97A9-593DD2058F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3749041$4F5E6FB5-847C-4D1A-88B3-64774FD794BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7eb1201819afdcbae4b07b7df090e86908fc1e15","datavalue":{"value":"open problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3749041$8313F523-E14F-4EBE-9C2C-20897B7E06AD","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":"Q3749041$7457486B-B3D6-416A-9750-A73C6ACD88C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2070d9393f8a559dd61a83b5471bab94e50175d","datavalue":{"value":{"entity-type":"item","numeric-id":3764133,"id":"Q3764133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd00643adb50437426b32aba639fe63d52ec7ca","datavalue":{"value":{"amount":"+0.7834926843643188","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":"Q3749041$3704E181-E959-4CBD-9887-D7534274ECA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd263da95997ea9a6ea4749cc81e015365ae4c0c","datavalue":{"value":{"entity-type":"item","numeric-id":3318103,"id":"Q3318103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b642632f8a86b72922bed0fc1f66084ad6a411b3","datavalue":{"value":{"amount":"+0.7577617764472961","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":"Q3749041$52AE1DE0-099C-416A-A86F-12F7F42B5169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"373beb0eb7a8eef5ae2371bbc9a0eedb604d255c","datavalue":{"value":{"entity-type":"item","numeric-id":4268418,"id":"Q4268418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"965fffbbcda304eb7f80bed8c260dd6d81bcf358","datavalue":{"value":{"amount":"+0.7549708485603333","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":"Q3749041$B1D505DC-C067-4E6D-A495-645C43C194CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"261cbb04b447ab0cb1db4c9b05e30484e5245f19","datavalue":{"value":{"entity-type":"item","numeric-id":3830979,"id":"Q3830979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"965fffbbcda304eb7f80bed8c260dd6d81bcf358","datavalue":{"value":{"amount":"+0.7549708485603333","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":"Q3749041$916478D0-DD0B-4440-996F-ABACD1239715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc95023f382552d8bec5e508cd07628d245f0c80","datavalue":{"value":{"entity-type":"item","numeric-id":3835003,"id":"Q3835003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daec7b92d9d6ac451513cfa9d722e700c1ddfaad","datavalue":{"value":{"amount":"+0.7547501921653748","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":"Q3749041$C4F5B62A-8EF7-44BD-B196-263596D69CBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3749041","badges":[]}}}}}