{"entities":{"Q3345771":{"pageid":3356479,"ns":120,"title":"Item:Q3345771","lastrevid":48760222,"modified":"2026-01-05T19:30:09Z","type":"item","id":"Q3345771","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3880104"}},"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":"Q3345771$B676DF0D-3ADA-45B8-8499-111D76D1C6F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2d1bff03c812ea3aebf741d9a826cfd4bb8e4de5","datavalue":{"value":"0552.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345771$BC41295B-2B86-4778-A9C6-56C39439C293","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"729c9b44dc7125bce523b3b8e70f668e5ecaf9f7","datavalue":{"value":{"entity-type":"item","numeric-id":1144564,"id":"Q1144564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3345771$CB47E23E-5F8E-4067-90AA-E4ACB8BBB743","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3345771$4F801446-4809-4393-89BA-62CEE25A2B7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345771$D52D3EB3-5B60-44FF-8BE3-88CB67711373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345771$2318EE18-55A3-415A-9CD4-164184293E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345771$3996A3CC-53B6-495E-A3CC-6DB291B12130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345771$3DB4684A-90E1-4D96-9E19-7E93355F2351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345771$50C04FC5-0C94-47D8-9EF4-75F4866E460B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d88547eb834e9ff41c08a2772b7ea80f0ef93a5","datavalue":{"value":"3880104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345771$06EAF7FE-1488-4E4D-B71F-3FC05D9A55F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3400e4bac6bbc391bc740ec88c24476116b1969f","datavalue":{"value":"decidability problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345771$F7CA964E-6A09-47D0-AFC5-303ABDAB7799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345771$0793B3B8-1441-4D94-99AF-9800B301F376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d991e63a90f3eab03d4d7492fce68095235234a","datavalue":{"value":"loop","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345771$92E2030D-5B83-4789-A0E3-453D57B8D185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345771$6031048F-2FF3-417F-A225-7C69FD71661A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345771$5B71ABA1-D33C-4312-9F11-D61A472191FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"544bc1d3a38ddb4244ca6e0d8265a7eb30c6d29a","datavalue":{"value":"recurring domino problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345771$00F7335D-5459-475D-83E0-ED968123BB5C","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":"Q3345771$6E6BC0F7-6F7D-4D7E-8F99-71A4D79ACD4F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8227c58f50fa9702c619efa5e6b3509692ae1975","datavalue":{"value":{"entity-type":"item","numeric-id":5899095,"id":"Q5899095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47b4aaef83e31ab34d41b479e352b63e63c4c7dc","datavalue":{"value":{"amount":"+0.8274657130241394","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":"Q3345771$D61462CA-8908-4483-A497-AD2E613F9D9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"459889d5310106929d088e8b9b294423d01d5621","datavalue":{"value":{"entity-type":"item","numeric-id":2643333,"id":"Q2643333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c515c78bea746c9ebaa1ef733fbda719e81f38c","datavalue":{"value":{"amount":"+0.8251762986183167","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":"Q3345771$BF1888AB-072D-4434-8E6C-6304D52DF727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01d6601fc86f6b43686b1d40f4a27b351705473b","datavalue":{"value":{"entity-type":"item","numeric-id":3897033,"id":"Q3897033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"529efad62d19d85873a3660310daa60941d80989","datavalue":{"value":{"amount":"+0.8128244876861572","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":"Q3345771$ADF3C8A9-39A8-4D8F-ADEC-533C81168110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"789edbfedc483f4f27be291a26ad57f2645a94f9","datavalue":{"value":{"entity-type":"item","numeric-id":3801527,"id":"Q3801527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d1195b97bccd70ac42f63facb65f125dd221948","datavalue":{"value":{"amount":"+0.8033297657966614","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":"Q3345771$3C1B0807-863E-4800-9F32-30583B7E40CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b8bae39ea3582b3d9dbc0059d40b3aef36eeaa","datavalue":{"value":{"entity-type":"item","numeric-id":801682,"id":"Q801682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76808e159c4c76a341727830e91b27be0711d4b7","datavalue":{"value":{"amount":"+0.7983891367912292","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":"Q3345771$C584141B-657E-496B-A0CD-6E21E71D2DC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3345771","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3345771"}}}}}