{"entities":{"Q1256445":{"pageid":1267195,"ns":120,"title":"Item:Q1256445","lastrevid":70479135,"modified":"2026-04-13T14:55:12Z","type":"item","id":"Q1256445","labels":{"en":{"language":"en","value":"The computational complexity of logical theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3627150"}},"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":"Q1256445$D5206B2E-C990-40AE-97C5-A796ACED50C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d136b5297858a1701557c85a9819ea6bdb633d30","datavalue":{"value":{"text":"The computational complexity of logical theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1256445$AFCFD13B-E72F-4786-9581-030D10724526","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a25be582162e449233f14f2c5be7fd1e4e5c8a18","datavalue":{"value":"0404.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256445$19E69FDC-5898-4E78-ABB1-2B5D09FD4538","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92789c9195e9dfd3e97ea9251ea24392e0ea7bee","datavalue":{"value":{"entity-type":"item","numeric-id":1244339,"id":"Q1244339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1256445$D6B406EE-0614-43B3-B7C8-FD1B6B9FA308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32ef088039a8ad6a0298449def5bb70c83daad02","datavalue":{"value":{"entity-type":"item","numeric-id":964870,"id":"Q964870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1256445$3BE679E0-2176-480C-B8D1-CCD3DEB10229","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"583d5634d5ee6575aaa37bb42a0c5602371241ea","datavalue":{"value":{"entity-type":"item","numeric-id":163387,"id":"Q163387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1256445$B23EB812-CB0A-4974-AA2E-7EAB4FF21C23","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q1256445$86E6227C-B84B-4356-8EF8-D691D7A70560","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256445$23FB3D3D-DBED-4B8E-8B8A-1F9593C3EE08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256445$40CFA4A1-9BAC-401E-9639-AF40DEB03B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256445$70D340B3-97DE-4D63-BAA8-2AA17AA6C74F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256445$CFD46381-273E-4886-9FC4-224C778DEEB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f87da62a9ba741b72e14685bd9116fe8e78b4c4b","datavalue":{"value":"3627150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1256445$C63BF1A6-C6A5-442F-9045-F1FA8FCD74EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0d45f84b5453d9093e176925f89076df944aa9f","datavalue":{"value":"Computational Complexity of Logical Theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256445$6854ED94-64E0-4529-8C09-2080D9E7178B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d92284389841293151c66e6c315a5ae798c1c58","datavalue":{"value":"Integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256445$66B2F92D-BD6A-4326-BA59-4498AEA9DC7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a6dbe1fb7b56d5333ac126cdab1198e307e517","datavalue":{"value":"Real Numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256445$5758F488-C934-4D16-8715-5220CB5DA003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0716ccd98a4dcf2aa29090f26ef850b50866fad","datavalue":{"value":"Decidable Theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256445$9B590ACA-4FC1-46A9-9991-AF2714B9F5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f746b10e1d89c619bcd2bb20e9216159930037f","datavalue":{"value":"Decision Procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256445$7C740921-F413-48E8-82F8-4EF91A0EC2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8022ce7f83af97f3852b24a1faa1522ede10d86e","datavalue":{"value":"Ehrenfeucht Games","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256445$CDF86132-C4FB-4064-98C7-A31B897BF780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4e96bfb8a188397c0a5a603337de2513628f996","datavalue":{"value":"Efficient Arithmetization of Turing Machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256445$C00CB486-D66D-497D-8C75-0C54FE8C8B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45f0b82545c98f22c447d416975ac8a79bbbbaeb","datavalue":{"value":"First Order Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256445$FE51A73D-B5FF-468C-BF3E-A9A8F9384DCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4e071a656728592b41c8be2f0aec0bb308649e5","datavalue":{"value":"Upper Bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256445$3DE6FBBD-12B2-475D-A228-1ADD4D7971F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee1727b34ee0b3da5668d68b19b2d0158eab467e","datavalue":{"value":"Lower Bound","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256445$59E948D4-42E1-4D66-9181-FE7FC51B4A60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f61ec63f09e695f4f21597a05673d7dcb223a931","datavalue":{"value":"Unary Function","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256445$874456B0-3B30-4336-8420-C2D8EA0C2124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d1a753d609f2f2e006de48356fa4c6111488922","datavalue":{"value":"Monadic Predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256445$78186289-7AF5-455B-A3A4-062A1A8B82F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"870a3e9ce994b0f68d676bf8788711f64b6641e5","datavalue":{"value":"One Successor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256445$1798E909-F9FC-4A68-987D-05F4E9A122A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b5efd36367624cc8d74f9066f88331db1e7ac4f","datavalue":{"value":"Two Successors","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256445$9019B637-60D0-436B-974C-B6741D929205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69714ba2423ac17d16ea2acf14c2ec33aca4b91f","datavalue":{"value":"Equal Length Predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256445$565EB4DA-9303-4713-9199-B3C7C328849C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddc55e4a5d52f7f698700408d24f633939e99981","datavalue":{"value":"Well-Order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256445$25F5C19D-280E-4130-BB5D-DC1FE2823E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9168261b825287ef6c97658a8da258bfc58419e6","datavalue":{"value":"Lexicographical Order","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256445$FA1A456A-1CD3-40FE-9F43-4A0501E12982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1bd84ef8c262e31b9f8eb480bee68ad7ba495a2","datavalue":{"value":"Finite Abelian Groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256445$5A983E1C-3DB1-422F-B0FB-EB9D77F139C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02bec0ab108c11d7803070344fd3ef58e863b49b","datavalue":{"value":"Pairing Functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1256445$B86ED3EA-228F-4A9B-85A6-F9408379B3A0","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":"Q1256445$D84E788D-75B6-4804-BC4D-A1BBF5DEA178","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The computational complexity of logical theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_computational_complexity_of_logical_theories"}}}}}