{"entities":{"Q3496328":{"pageid":5526231,"ns":120,"title":"Item:Q3496328","lastrevid":49427191,"modified":"2026-01-07T03:33:51Z","type":"item","id":"Q3496328","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4170888"}},"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":"Q3496328$85C61FB4-D433-4EA2-991C-517FA557CE69","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"001739f9bbdd4553588884b6b243fa999abac693","datavalue":{"value":"0712.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496328$C8FB4509-E112-4C8A-BB9A-5F5FF5EBF4E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d92e5b50a477cfe238ac688c9a8eb0ddc7ad041e","datavalue":{"value":{"entity-type":"item","numeric-id":204638,"id":"Q204638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3496328$DABB3ADC-F16F-4A9D-B5FE-D3D8A0D95D2B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q3496328$6206E508-83C6-4F4A-AB43-EBB8933C6741","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496328$4E09F8FE-740D-477C-A05C-9B70256C998A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496328$B06BDE38-8CFE-4FEB-8741-DB488B9A7340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496328$48E2FE74-3D71-40E4-A7AC-C38519A1624E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496328$90B7C632-5889-465B-8DF1-A424D022EEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496328$B2325A64-0DA9-4CEB-88A4-4B63B7753B01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7924bba3639c7dd978dace0bf0545c7aa343a0ec","datavalue":{"value":"4170888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3496328$520E8A9B-2AC9-4135-A915-10FD806B5067","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"258bfa9ce9d1792a8564e57710fdc5ba6afb120b","datavalue":{"value":"classification of prefix vocabulary classes in first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496328$7498162D-1A63-4C71-B204-E1F4315140F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496328$1D716E4F-FF26-47A1-9F0D-02DDABE5B8F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496328$F4021CFF-CD63-47E4-9D58-EC3103783789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c224a09d1d4b3980f9ff884f63529576e1fedc6","datavalue":{"value":"Trakhtenbrot's Inseparability Theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496328$1D49567F-C1A3-427A-B033-C200C1204B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00ced0d3addfd4cf88a490909924b1cc1edbb38c","datavalue":{"value":"NTIME-lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496328$E8046285-8FCC-4AEF-9614-114147E3AB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c84901c430e0fbe04cbf8be30110ba8b8b4aac","datavalue":{"value":"formulas with a model of bounded size","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496328$1F52A9B6-ADD9-4280-9804-5AE45F4F3918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b9110ed6674be97836be1f9f7dabe9d5483b1bf","datavalue":{"value":"reductions from bounded domino problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496328$4C546D1B-673F-4CE7-BFF2-3EEA96C70977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3496328$A140CA3D-334B-438F-82FD-504880DB7E3F","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":"Q3496328$9A333CEF-9180-44D6-AC4C-05D986142DB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b4da257adfa3098e146111db07027c7417c2813","datavalue":{"value":{"entity-type":"item","numeric-id":4731176,"id":"Q4731176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ded7767c69f51cf0403eb81ebafaac6a68ae2f9a","datavalue":{"value":{"amount":"+0.7480499148368835","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":"Q3496328$FC39D194-13A2-4AD4-852C-1720E0CF2E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95c41223709415a61a21dbc689f33b895a2c37a8","datavalue":{"value":{"entity-type":"item","numeric-id":1115859,"id":"Q1115859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd202630187c3613491367666cac9e3a2e928b85","datavalue":{"value":{"amount":"+0.725021481513977","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":"Q3496328$7CDAE059-F273-4821-9E9E-2D0E126F3401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1de11b5e0c3129ae5f9689cf48d1319d324ab715","datavalue":{"value":{"entity-type":"item","numeric-id":1198956,"id":"Q1198956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72bcf380fa81dace88ab4e3e0ef695d0a6c86f56","datavalue":{"value":{"amount":"+0.7245646715164185","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":"Q3496328$DAE16774-3560-4FF6-B93C-452847439E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a812033f2a3dcb82e22170abbbf2b8411c02072","datavalue":{"value":{"entity-type":"item","numeric-id":3796747,"id":"Q3796747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebedab46cfed5f4ba6acfe5e4700fccef846823a","datavalue":{"value":{"amount":"+0.7220451831817627","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":"Q3496328$4BEEC449-C391-4586-BA26-9E5DB798674F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e021a118bf912068e6eb5116c97991bcc761e6b4","datavalue":{"value":{"entity-type":"item","numeric-id":3083130,"id":"Q3083130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57b9f8c4b643a6f2ca0777427c7da3c85202078d","datavalue":{"value":{"amount":"+0.7140953540802002","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":"Q3496328$EDABF8D2-FDA5-49C2-A162-0126E03C1D26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3496328","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3496328"}}}}}