{"entities":{"Q3717032":{"pageid":5746938,"ns":120,"title":"Item:Q3717032","lastrevid":50674256,"modified":"2026-01-14T18:36:54Z","type":"item","id":"Q3717032","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3946109"}},"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":"Q3717032$9B49A12E-1D6B-408E-89CC-6CED989F13A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"057ba74a5585d1bbd8ff3184843ba77e79de655e","datavalue":{"value":"0589.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3717032$E9E72690-B01A-43DB-80D8-79E28BCC7F61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"12933698037b5470ceb6da567623979602c0d917","datavalue":{"value":{"entity-type":"item","numeric-id":3481671,"id":"Q3481671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3717032$437AB290-103D-42ED-9351-E3A4E4A4975D","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":"Q3717032$A7FD24AA-2C88-4608-AB86-B2A474BAD43F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3717032$AC7801B5-ECCE-4905-B6B3-D25DD7F2FE5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3717032$F9EEA4D5-3990-41C9-8AB8-3D2E259AF1B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7337fcfb0036aa27a3e675fb479ed6fa7f49cf56","datavalue":{"value":"3946109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3717032$A9848690-E922-4FD5-BEF3-C07ADE688BC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3717032$29551C7F-5A5B-475A-B421-4F5262D7314C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fc59007b2b1960a263350309435ca1e06e896b5","datavalue":{"value":"space complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3717032$97EFDF35-8AD5-46A9-96A8-28E6ABD814D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"709c0f1970b625c924543cd42f8a54c7ce976554","datavalue":{"value":"Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3717032$BF1C5FB0-CC3F-4DF2-BB86-756F5F723C95","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":"Q3717032$E6EF15C5-9BDF-4217-AFD7-A33319B168E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c266ebf301c12ca12ea76598e3bc2e61a0baa41","datavalue":{"value":{"entity-type":"item","numeric-id":920966,"id":"Q920966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d2cd45f625098cdbdbe78d4c4221c1235782fcc","datavalue":{"value":{"amount":"+0.759709358215332","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":"Q3717032$5AF14065-6A79-4E07-935F-6A5113EB4CAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"948f4477c5b2aa3df26ff8afff0b4127b157ab09","datavalue":{"value":{"entity-type":"item","numeric-id":4530222,"id":"Q4530222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1910fa8a385a37de7405d01be2aec74141fe540f","datavalue":{"value":{"amount":"+0.7575287818908691","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":"Q3717032$54EF4180-F718-4BD6-9594-6E4A5E803169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe0d51c05a3428e4d6137446ea8899576e31a984","datavalue":{"value":{"entity-type":"item","numeric-id":3818495,"id":"Q3818495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"045c329a09b230ec27e6a98ecd7a04f32b837f4a","datavalue":{"value":{"amount":"+0.7559378743171692","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":"Q3717032$ADC7B55D-882A-48CF-B075-5C1E566D8242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2622c16bf30ff0a377fb65fd9788553d36311434","datavalue":{"value":{"entity-type":"item","numeric-id":800486,"id":"Q800486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da0073f602f760847cd8a8729a4aabb23bed430c","datavalue":{"value":{"amount":"+0.7549392580986023","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":"Q3717032$01047945-D29D-49B2-901F-9197617681B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f461895cadb344f011ef8ab197c3a7871046a2b2","datavalue":{"value":{"entity-type":"item","numeric-id":5154924,"id":"Q5154924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b10b4230b8f53cd7e976815a6064182b9f48e3e","datavalue":{"value":{"amount":"+0.7452645301818848","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":"Q3717032$9292A9C3-7A03-4225-8CD4-CAEC9A25B017","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3717032","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3717032"}}}}}