{"entities":{"Q3323918":{"pageid":3334626,"ns":120,"title":"Item:Q3323918","lastrevid":48702967,"modified":"2026-01-05T16:12:30Z","type":"item","id":"Q3323918","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3855058"}},"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":"Q3323918$3134B2E0-B805-4933-A9CE-8CDD2547A0A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4628eb0a3a889274fdbef83df9a0148c622b892f","datavalue":{"value":"0538.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323918$8B296AB8-E100-4A55-895F-B75EDBF580DB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0696ed19c8b49f0d414f25898c36a768b758f93f","datavalue":{"value":{"entity-type":"item","numeric-id":3323917,"id":"Q3323917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3323918$9D325959-1FB6-4B3F-B080-FC06309DB5C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3323918$661DD841-3191-4650-B67E-32242E15995E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323918$0BCF1F44-E577-4B76-8BE0-774AD706DD5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323918$6F15F218-8324-4144-A3B8-7665D9E00A19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d0dfdabd6b50131ad13ad0dc3dbd6042621413b","datavalue":{"value":"3855058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3323918$94A3D84F-7E6C-4373-BD44-F3ABCFD44964","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"719b68c65264023eee5c6476700d32a1dcaafde8","datavalue":{"value":"asymptotic decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323918$066D65D7-AD62-4A8D-AD0B-E26011601B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58747f02b48ec3f21891f2705342df4b7e1b0e30","datavalue":{"value":"satisfiability ratio","type":"string"},"datatype":"string"},"type":"statement","id":"Q3323918$732BB67D-89BA-4053-85FE-FD3B343D06B7","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":"Q3323918$04F754A9-E45C-401D-A627-A78C49764C61","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fa4796b069f5f18ae81a24cf998c9d40fb0ef61","datavalue":{"value":{"entity-type":"item","numeric-id":4007485,"id":"Q4007485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be1d541c2b0732fb9145786827f6a5b7dd6f6a0b","datavalue":{"value":{"amount":"+0.7601150870323181","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":"Q3323918$4C72BC3E-69C0-4F7D-ABFB-1BF4F71CF8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"080e986fd1b5bd13b09523d3d30b4894fa02c661","datavalue":{"value":{"entity-type":"item","numeric-id":3204446,"id":"Q3204446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d7c18874d6be6169d423e0b3aad5bf0c6c54fe5","datavalue":{"value":{"amount":"+0.7579360604286194","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":"Q3323918$E2352291-9BF2-4EFD-B56C-876B31578828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6f2f49a7c27e3078ffa938ee1da9505d89d6588","datavalue":{"value":{"entity-type":"item","numeric-id":4202960,"id":"Q4202960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e9f77bbc0a072afb8d9c41ca922cdc59ac7846c","datavalue":{"value":{"amount":"+0.7563826441764832","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":"Q3323918$F481BD4C-79CE-428D-AE16-4AFE97B000A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d3350d9285ee53d893e3d4254491fae5218fe92","datavalue":{"value":{"entity-type":"item","numeric-id":1115860,"id":"Q1115860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4a292ae344be99b8964647491f25f471adbabec","datavalue":{"value":{"amount":"+0.7503877878189087","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":"Q3323918$6C5D09D4-157D-4FCD-89B0-196AB278CA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"868726621971f6a04a3f46f8d5c400cc3abc1a0c","datavalue":{"value":{"entity-type":"item","numeric-id":3718693,"id":"Q3718693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f0c6549424bf5f1d17f4cc3feb3c0ab5b828913","datavalue":{"value":{"amount":"+0.748923122882843","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":"Q3323918$C703C215-E9C7-4117-ADB8-D5E47D262D47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3323918","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3323918"}}}}}