{"entities":{"Q3345746":{"pageid":3356454,"ns":120,"title":"Item:Q3345746","lastrevid":48760156,"modified":"2026-01-05T19:30:08Z","type":"item","id":"Q3345746","labels":{"en":{"language":"en","value":"Nontrivial definability by flow-chart programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3880073"}},"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":"Q3345746$5CF78D0A-4554-498C-9920-741EED016FF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"94a25bae5f543496bc7803f7187d4ab18a92d92a","datavalue":{"value":{"text":"Nontrivial definability by flow-chart programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3345746$020739EB-4AF4-407F-80C3-94F982A4F6AA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4fa51efa483a51dd9f5a72e97962200a0fac0c27","datavalue":{"value":"0552.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345746$7FC45D54-BA85-48F2-959B-CB6D0A25AEF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4caec6c4f1761e4acf1849acdcfda086469bd6f","datavalue":{"value":"10.1016/S0019-9958(83)80057-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345746$E957D683-ED31-4080-A39D-230831B97EA2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27ee549e3862dd1e883829fc71d54217245973b","datavalue":{"value":{"entity-type":"item","numeric-id":332079,"id":"Q332079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3345746$27E336E8-F751-4F57-B03F-CD4B0D60F7A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3345746$A0A53D74-346D-42FA-AE25-9EA5B8871727","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3345746$386BC971-D42A-4EB7-A91F-448D9A3C5F90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345746$489D1340-6FC5-4CFB-973A-1AFDFBD408D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345746$835128DF-9EE7-437A-9DC4-2B0B2B28433A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf991822b2f376cfcc5e4850ae4f6f1b32d01d9f","datavalue":{"value":"3880073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3345746$B82558AE-0BF4-467C-8BD9-F03C0136402F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"157a853bc3282933faeb8821397f11abe5f95186","datavalue":{"value":"flow-chart programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345746$E15AD106-4FBA-4E55-988D-25D26B5F2878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5e419648daee84246ea87ee9b915b28e3bdb676","datavalue":{"value":"first-order formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345746$D7C80247-81CF-4E52-AB6B-C60DB76F9430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8686dea8410572cd47c54119087be47a01ac65c0","datavalue":{"value":"loop-free","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345746$0928EA53-0949-4DE5-B81D-6071C0D65D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfcd257c0d9e932ac1b7a243baad1a66854b25d0","datavalue":{"value":"deterministic dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3345746$BE2ED68C-E91A-4901-97DD-B38DE23A3A5A","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":"Q3345746$86EF648C-2A37-496E-893C-213B08FE9DBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26d166c4c642241a0290d95ef22732c6f4971ea0","datavalue":{"value":{"entity-type":"item","numeric-id":3709863,"id":"Q3709863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40887463aae33364caf4b46c707d64c1cb58b816","datavalue":{"value":{"amount":"+0.8168342113494873","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":"Q3345746$FBFC1EED-C0E1-4C15-83AC-35DC948436FC","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":"3f3709a08338ef551be124893c6be0089fc8d26d","datavalue":{"value":{"amount":"+0.7829716205596924","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":"Q3345746$D8F5125D-DFB5-4F98-A0AD-850E1E60BDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70bddb2286f38aa8271fdeca845ce190269a3099","datavalue":{"value":{"entity-type":"item","numeric-id":801666,"id":"Q801666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e49fe9bfbe2e2eb55e3f33e131c0891df1a1ef96","datavalue":{"value":{"amount":"+0.7748448252677917","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":"Q3345746$D6C3306B-24B8-42E1-981A-32DE1CD3FF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53750e778f847713f90c4de725d66f46175e2206","datavalue":{"value":{"entity-type":"item","numeric-id":801684,"id":"Q801684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e7751d37bf8915b93c66a4696bdfed32f0a68f5","datavalue":{"value":{"amount":"+0.774715006351471","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":"Q3345746$65DA736E-68CA-49FC-AC6E-730F6850D208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29cd39436b6b31d2c75febdc2cdce161e0bc4294","datavalue":{"value":{"entity-type":"item","numeric-id":789162,"id":"Q789162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd44badd15a04a2f8ba0ea4a1de9b2b3c69c0ccd","datavalue":{"value":{"amount":"+0.7669107913970947","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":"Q3345746$B73E0067-FEA1-44F7-BC77-7D52C59F9304","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3345746","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3345746"}}}}}