{"entities":{"Q1594479":{"pageid":1605219,"ns":120,"title":"Item:Q1594479","lastrevid":47566075,"modified":"2026-01-02T02:31:47Z","type":"item","id":"Q1594479","labels":{"en":{"language":"en","value":"On the classification of Post automaton bases according to the decidability of the completeness and \\(A\\)-completeness problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1557776"}},"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":"Q1594479$66C97896-30B3-430F-BCC5-421A661F40B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a98f4c11615c9202e58f70db16a9b7d783f282e5","datavalue":{"value":{"text":"On the classification of Post automaton bases according to the decidability of the completeness and \\(A\\)-completeness problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1594479$7E1D8D9B-7E6B-4835-8605-5E5465A860EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c89f940a0e4c6b1e90b9393ab4a12b143c206b66","datavalue":{"value":"0958.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1594479$63B592C8-99AE-4602-B05F-C7E4FC892194","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bbc31fcaa3dcf49d82403ba391044fdfb104e43","datavalue":{"value":{"entity-type":"item","numeric-id":161529,"id":"Q161529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1594479$C2FDD8C5-7B3E-4CEC-BD88-C1EEB7D681CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0601000542f3e114e23706def63e518454cfab68","datavalue":{"value":{"time":"+2001-01-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1594479$D1165513-E959-474F-A22F-683BD32AE2A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1594479$B1264F28-D02F-4A20-849B-79083A6CFFB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1594479$BF41DC9F-CF5D-4FC7-AB9E-486D8D8680E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1594479$04F11136-B7AA-40C6-ADD2-9367A9055C9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db64bbb32aaa37c564488d680cf66e8fa698ad1d","datavalue":{"value":"1557776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1594479$37239AD2-F5EC-4EFA-8E18-2EAF1E577B7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ec0fce2b9c3fd6eba3b43cb0089ffc1301cc751","datavalue":{"value":"decidable completeness problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1594479$8D245D3E-17D0-446A-89A2-FD7E6C85F80C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9260b7459064388dded91bc0a30221300d55b895","datavalue":{"value":"Post class","type":"string"},"datatype":"string"},"type":"statement","id":"Q1594479$D142D621-3C88-497E-9FCD-1E53CB3B9935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a50b6940123465d277de950b65f20ccde2712c29","datavalue":{"value":"automaton functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1594479$62A4F51B-F038-4F38-8E33-290EB2E0FB1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe16532910ff36f20d23a2aa0591d0963cd60a90","datavalue":{"value":{"entity-type":"item","numeric-id":785977,"id":"Q785977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1594479$1D77758A-9A7D-44FE-80A0-500D4D2494CB","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":"Q1594479$B01EEFBC-FF8F-40F0-95B2-CDDD8B8E240C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9f699fce5b24c85b45352d3eb5f5bdb04772726","datavalue":{"value":{"entity-type":"item","numeric-id":3585192,"id":"Q3585192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4ace6356b53590bdf7c62eeefd1f470b9062a98","datavalue":{"value":{"amount":"+0.9456353187561036","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":"Q1594479$34967B6C-01EE-4E2B-B6BE-37FBB6AC5FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b588895540497841a335038af24827454a187e42","datavalue":{"value":{"entity-type":"item","numeric-id":4522760,"id":"Q4522760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9940be59a4c71b0dc05eb6a25f7208b574702cb8","datavalue":{"value":{"amount":"+0.9199204444885254","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":"Q1594479$8509E596-EEAC-46D6-908E-8AEADE52ADE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c0160316944928299895cddc3e8ac0901b0e807","datavalue":{"value":{"entity-type":"item","numeric-id":2453381,"id":"Q2453381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cf110254759096ed35a4bf904c61458f9879985","datavalue":{"value":{"amount":"+0.916203796863556","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":"Q1594479$148CB1CA-32D1-4229-9FB1-E8D5760827FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06d1e3d30ab3b8b89ce2676aae0d6bb4fa78b914","datavalue":{"value":{"entity-type":"item","numeric-id":4446202,"id":"Q4446202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c34dbfd8854f40582d01dcd9d94f1612fb4b2d7","datavalue":{"value":{"amount":"+0.8994656205177307","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":"Q1594479$10522D95-9EA5-4B17-8EE8-41AB695B8FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15ecd38b4738a65781eb49d32c3b30a767564241","datavalue":{"value":{"entity-type":"item","numeric-id":3125966,"id":"Q3125966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"973f791af67da96558bee11b85e82413c8a0050d","datavalue":{"value":{"amount":"+0.8646974563598633","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":"Q1594479$C9ACA006-3ACF-4873-A4E1-4BD25EF962E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1594479","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1594479"}}}}}