{"entities":{"Q3483264":{"pageid":5513164,"ns":120,"title":"Item:Q3483264","lastrevid":49395022,"modified":"2026-01-07T02:17:47Z","type":"item","id":"Q3483264","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4154413"}},"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":"Q3483264$F54C681F-CF3D-4ABC-BA48-0750D3BC69E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79bf7f319b405de9f8614011ca996caadc4a2dc6","datavalue":{"value":"0704.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3483264$923D2DD5-CF5E-49C2-A037-48E285065F77","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01474aecc94ba51657b2dc3be058991b29fbb877","datavalue":{"value":{"entity-type":"item","numeric-id":220094,"id":"Q220094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3483264$57EAB893-7D25-4B88-BC8A-DBA8C92E6E9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"29ee6d4e04c183e5bb6b0ff5941f040ab93517df","datavalue":{"value":{"entity-type":"item","numeric-id":174087,"id":"Q174087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3483264$E7CA2E9F-49F5-4EF2-9D3A-DE708A80A085","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3483264$5640F1CB-5816-4729-8C4C-05C70369638B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3483264$979BD44D-DB97-4A2D-99F2-6550D97EA8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3483264$836981CC-6BE5-41E5-BAFD-325A7876B47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3483264$D7A80367-6CAB-4E2E-8759-240A03D33208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3483264$FE24C3B6-926D-49C3-A8CE-9E4D39BA22BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85a8758e097af5183222f9c45fbac17400ab3341","datavalue":{"value":"4154413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3483264$7077AA09-B525-4B06-83D0-712C773C3AF0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3483264$D772EBB7-0126-4273-B750-BB8DC585C8F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cd9c6e9056845e4e518e4311102392421f62fbd","datavalue":{"value":"complexity of the halting problem for nondeterministic Yanov schemata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3483264$C6AE216F-D999-4650-BCEB-0C952D6DCAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3483264$AB9D54E9-CD05-4FD6-8DA0-6F78C6AE4205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c96c670cb5bb3f93d571a5f56f1e88c84388368c","datavalue":{"value":"validity problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3483264$DBD80C10-BA16-4C88-8647-8662DB2045B7","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":"Q3483264$4D73D7C0-3F03-451B-A066-8B818D968660","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cb55ffba604c460a59c5a8868fbf886c3cede70","datavalue":{"value":{"entity-type":"item","numeric-id":3034804,"id":"Q3034804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25f20277e1f160d697315f13bb8ee93d5ca59364","datavalue":{"value":{"amount":"+0.8817839026451111","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":"Q3483264$425D46E3-D697-4ADC-8BAD-91929F6EABC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebb423f2134bc0cd9ae597374e003bac48d061fc","datavalue":{"value":{"entity-type":"item","numeric-id":3179178,"id":"Q3179178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd84853bbecdc9f4fba7a67e02d88215800289a4","datavalue":{"value":{"amount":"+0.8115327954292297","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":"Q3483264$1702AC16-F892-416D-80F1-85C4132B0C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8c64005798fa47d1e2e9fd7c57841c444121a30","datavalue":{"value":{"entity-type":"item","numeric-id":792083,"id":"Q792083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27414ac88e56eb949cf1deb0085e1ebc322919f5","datavalue":{"value":{"amount":"+0.7699403166770935","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":"Q3483264$B10050F4-0C75-45BB-BCAE-396D36998B8A","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":"7db7385d8786cdcd1ff37dc5f1565c37c7328d70","datavalue":{"value":{"amount":"+0.7684895396232605","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":"Q3483264$EB4B4523-5846-422C-B21E-748E28929395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e63e136a3f99c164e16dc4b22d6c6e40b53b4bba","datavalue":{"value":{"entity-type":"item","numeric-id":3318101,"id":"Q3318101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06056bd892e56db4a55645aa765aa88f9518f81a","datavalue":{"value":{"amount":"+0.759597659111023","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":"Q3483264$7ABF2A29-0632-4541-B6C9-ADE5114A77B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3483264","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3483264"}}}}}