{"entities":{"Q4673428":{"pageid":6703009,"ns":120,"title":"Item:Q4673428","lastrevid":48473749,"modified":"2026-01-04T22:39:34Z","type":"item","id":"Q4673428","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2163041"}},"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":"Q4673428$99E01E59-5E16-4AB4-A2FA-CD8F67EB8718","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a355cb26ae39f5e69b717cece3304602947764e5","datavalue":{"value":"1073.93037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4673428$BD5BCD65-5E39-491D-A445-CB923185395F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0917ecc0ee421e6b16ad9bf93dfa95fb6019942","datavalue":{"value":{"entity-type":"item","numeric-id":715045,"id":"Q715045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4673428$C30088E1-6762-455C-B75F-9AD6C670E252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b3a84a7eb616e0cd93b88d763b8704865b733b46","datavalue":{"value":{"entity-type":"item","numeric-id":444482,"id":"Q444482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4673428$504CBAA7-023E-4061-A7A3-F293B09F8B56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65221e215393442395d12a6532e173c4dee8b90f","datavalue":{"value":{"entity-type":"item","numeric-id":420854,"id":"Q420854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4673428$66EA67CC-FE48-4F32-B505-0BC46D50870D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b9f70e011dd38cd072b1fa0ee0387b555a916a7","datavalue":{"value":{"entity-type":"item","numeric-id":3100905,"id":"Q3100905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4673428$48AC8763-EDAB-4A6C-A6EB-8D3E3E126C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"46e921d835845969ea465c2330db5171d968f1ff","datavalue":{"value":{"entity-type":"item","numeric-id":436314,"id":"Q436314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4673428$55F9E7CB-6A43-4791-B6C7-4CDE86837A92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cfdd76c6ace7e0d57b8524faf2ffe47b441fd852","datavalue":{"value":{"time":"+2005-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4673428$8C9A3A9A-1A6E-4145-9215-DA5B57E80D1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4673428$8B5E69E0-5CEC-4BF7-94B1-F7F67CD73267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4673428$D8C90D5C-E1DF-40E2-8718-87C491757177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b1a9a20c16e14977aabce86aca077afc2aca3644","datavalue":{"value":"93E03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4673428$106BB6A6-A004-4C77-933E-C6F6E7928374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"377d3ab03372cff12915e0de0374438ff70c3716","datavalue":{"value":"90C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4673428$0C9F0C2D-AA5D-4141-A3E6-A7D41DC180F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f34675a74b150d19473221b06b085ebc8156162","datavalue":{"value":"91A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4673428$EB18D14F-3942-4C95-8B07-5D97FE6250A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4673428$3EAF65DD-2866-4F25-98F3-3252BE6C07F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"086e285bd5a622ffde6f79f991c010a9118240ff","datavalue":{"value":"2163041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4673428$9EFE0303-0BA0-48FC-97BB-4DA50262A121","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7880190a157aa11779f54def872c85a1e09a493","datavalue":{"value":"timed transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4673428$5AE42333-56B6-4535-9408-98BCC7998591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1adb701599a3ce0a378c265376e4a4e8d3d121e","datavalue":{"value":"controller synthesis problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4673428$64520E69-3113-4A63-8ABB-E837255F979D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e5d1640a9a10bde209aad98fb59b1050a4cb674","datavalue":{"value":"probabilistic computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4673428$FAA9078B-D53B-4C1C-A153-A77FF9458DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0826d1dd691dc8a76701d1c5b82bd36ae5058f9","datavalue":{"value":"linear time specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4673428$B83CD682-D5C7-40B7-B5B8-85112C875411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf1bbad404b660dcc4f7e1f74269a25b269f6b2f","datavalue":{"value":"NP-completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4673428$3EAF7A91-3EC5-4FEB-A506-8CF410C820D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7d5e4886aa4290eca104cd0d1da319d8b4d34c4","datavalue":{"value":"NP-hardness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4673428$19D78F6C-9BD4-41B0-B457-59540DFDACE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cce981ff2d20a29f230f6727664ad76e0671469","datavalue":{"value":"computational complexty","type":"string"},"datatype":"string"},"type":"statement","id":"Q4673428$E6B0358E-34C7-4ADA-BDE8-C761BB821E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b53c552f034f0759ded21ef7d92b5c6222376092","datavalue":{"value":"game","type":"string"},"datatype":"string"},"type":"statement","id":"Q4673428$FF86BFC7-988D-4060-A0DC-0165BF0F3676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbd1f99995fb6a13da62a377ba6327166316e976","datavalue":{"value":"Markov decision processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4673428$D8838E1C-F05C-4FFB-B9E2-92B0EF2FBBEE","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":"Q4673428$3CFEF66E-AEDC-46FD-8B00-1A217131FCD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"066b1d74e70cb5c7b1c7235b451cdcf660d135ff","datavalue":{"value":{"entity-type":"item","numeric-id":5450116,"id":"Q5450116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1515e81893c3268dcb8f91984aa1650da7bb557","datavalue":{"value":{"amount":"+0.8644896149635315","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":"Q4673428$8DBA0CB2-3A79-455D-8358-BEB7C54B4D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e5264eb812a37903e149cc83d4e37c8b9d568b6","datavalue":{"value":{"entity-type":"item","numeric-id":5897798,"id":"Q5897798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e018dee912685be20b41df138df04c7b9819e81","datavalue":{"value":{"amount":"+0.8644888997077942","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":"Q4673428$D6B37399-128A-4358-BBE7-D6642AE0B51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b3c84d642a4daf0a5eb4d152ee3e8d2ece215a2","datavalue":{"value":{"entity-type":"item","numeric-id":5501954,"id":"Q5501954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42ce4f8dec7c5fbeefe0e135a098be3f2b981c88","datavalue":{"value":{"amount":"+0.8284788727760315","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":"Q4673428$3F9ED038-A590-4419-AAB4-3AD699C38480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f53310a97d16461eb1e015da155592b3741bff77","datavalue":{"value":{"entity-type":"item","numeric-id":3519498,"id":"Q3519498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cc85f85d2a700b390e010c6005f3cbb147c7d77","datavalue":{"value":{"amount":"+0.8241291642189026","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":"Q4673428$43874F8C-6072-4926-A98C-820D0D94016A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0e3127994be17a8f137c9f465dd2cd210c8d6c4","datavalue":{"value":{"entity-type":"item","numeric-id":2891434,"id":"Q2891434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba5463c581a21a93ee6d4899a7f273167c638059","datavalue":{"value":{"amount":"+0.823545515537262","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":"Q4673428$8C5DAFD7-5CCA-4FD0-9519-5405C0C4A729","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4673428","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4673428"}}}}}