{"entities":{"Q3179028":{"pageid":3189736,"ns":120,"title":"Item:Q3179028","lastrevid":52705685,"modified":"2026-01-23T07:55:02Z","type":"item","id":"Q3179028","labels":{"en":{"language":"en","value":"Decision problems and recursiveness in formal logic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6667198"}},"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":"Q3179028$4BDDEFE9-0DBF-4845-B9D9-3BDD0D9CA85A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4bdb18fff54a9cd2d6e1cc8da2fafb967dc159b","datavalue":{"value":"1352.03049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179028$66AEF770-D2BE-4804-8DB4-F7801D749A6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d4f99d4ccfd962a73937d6ada06b6a38c52cf21","datavalue":{"value":{"entity-type":"item","numeric-id":3179026,"id":"Q3179026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179028$A0863141-E348-403B-8229-1A96CBA02025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af1efa797e0ca190d0f67b0e482d295fa15091e0","datavalue":{"value":{"entity-type":"item","numeric-id":3179027,"id":"Q3179027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179028$3F3DC05D-D235-46D5-BB81-C5A853C73550","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"690d42de52b0f98fca0a14e5cf4a14dbe711805f","datavalue":{"value":{"time":"+2016-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3179028$5CB84C65-3509-4C26-82E7-2232B82E4A0C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179028$64B396E2-B7B7-4EBF-AED4-C8F852816B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"21699a423435669f291d1bd1ba3da28fa1465b3f","datavalue":{"value":"03D03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179028$3E9D5C58-E8AC-41D5-BA91-6CD218111C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179028$76C31725-C179-46C9-A799-16E36D2D98E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179028$52C5B889-7CDA-4089-998C-EF5D51186C0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c804b49182b49f06ae3c9c3a351fdbb95a4f51e5","datavalue":{"value":"6667198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179028$DD88EB02-ADB6-4F33-89F6-FDDF485A9891","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27638d630e18a79d37aae3ab247a2d08a15508a4","datavalue":{"value":"decision problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179028$BE2D3EF1-9F90-4E59-BA4A-E9E299C5783C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd6f648bd1eeb66cc548d9608d64c3a3e1ea7e29","datavalue":{"value":"formal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179028$799BBD44-17D3-4499-96EA-B7E1322A5498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179028$E44FC644-E49E-4FE9-8FBC-4C647A9D3D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d34d17d1efa2c7aa1b9ac1af50bc98466f6b53e2","datavalue":{"value":"partial propositional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179028$C9C726D4-A253-48F0-878B-7874840FC128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7baab77204508f897b9b7c2f87f384d735c04b6","datavalue":{"value":"semi-Thue production systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179028$64E7C760-99CD-4208-B670-A9E0C424D478","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":"Q3179028$BDD3F716-B1A2-4201-BAC9-7FACE1C5E963","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2398eef9efd57113e53ce4e1c6dc78ad09f83c74","datavalue":{"value":{"entity-type":"item","numeric-id":4942004,"id":"Q4942004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60251e45e8620468526284dd58b3b1c2fc91bf15","datavalue":{"value":{"amount":"+0.7509123086929321","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":"Q3179028$5A818E94-8B0B-47B7-BA8A-58AEE3EC884B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eb44cee49c5ba0662a382d8951185265a574039","datavalue":{"value":{"entity-type":"item","numeric-id":911574,"id":"Q911574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60251e45e8620468526284dd58b3b1c2fc91bf15","datavalue":{"value":{"amount":"+0.7509123086929321","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":"Q3179028$CA5218F4-CE5A-415B-9D28-B5B15835EA4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be4a2a95c9357e4e2829eee67156cfd10235bf06","datavalue":{"value":{"entity-type":"item","numeric-id":3971263,"id":"Q3971263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7c2963a9a8180ccbcd1c03abd300bbd4fe8cc41","datavalue":{"value":{"amount":"+0.74312424659729","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":"Q3179028$BAAB5C82-0277-4379-8042-DCD6A48DE855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f93297906719edaa04f6637b0f638656d6adbe9","datavalue":{"value":{"entity-type":"item","numeric-id":3240233,"id":"Q3240233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08307e19e8a06e26b02da7e10af2447d950294e5","datavalue":{"value":{"amount":"+0.7409068942070007","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":"Q3179028$DF532DFE-6BB7-4DB4-9067-DCAECD4CA058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c5c9d532a78e12ac8859a04013deff4858a4010","datavalue":{"value":{"entity-type":"item","numeric-id":4467744,"id":"Q4467744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"360b26e2a421825c1e0e341f5a2e934f37a47560","datavalue":{"value":{"amount":"+0.7382412552833557","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":"Q3179028$9CBD5E63-CA4C-426E-BBF1-2D261BA5E05E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3179028","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3179028"}}}}}