{"entities":{"Q4281682":{"pageid":6311283,"ns":120,"title":"Item:Q4281682","lastrevid":46311372,"modified":"2025-12-24T13:18:56Z","type":"item","id":"Q4281682","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 512972"}},"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":"Q4281682$2EED8283-3D5C-4B8F-B1CA-28069702CD5F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5e19df5ae8cfb67d507bb59beb1d06f29ff363f","datavalue":{"value":"0794.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4281682$6930AC69-66A0-4849-A0F8-A23C2CE7D83C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5128676afd48f5f15760e43556d4ca2d4175b4bb","datavalue":{"value":{"entity-type":"item","numeric-id":313071,"id":"Q313071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4281682$11A55576-5817-4A39-ABD8-5F00623904D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"548ec68fe7f46b4562359ce5165d8a1d37d9ac8a","datavalue":{"value":{"entity-type":"item","numeric-id":1267513,"id":"Q1267513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4281682$EA81910A-640D-404A-8598-63A80C60CACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9508babbaae830189eafb34c9955abb3b05c5e9","datavalue":{"value":{"entity-type":"item","numeric-id":6482611,"id":"Q6482611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4281682$ACCDD7A0-0040-4B68-9626-68CDAD5149DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"38fcd1912f3556aad19d35f1158506fbf7e64dd9","datavalue":{"value":{"time":"+1994-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4281682$EFE615E9-01D6-42AD-A43B-C769EA14157A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4281682$E00C8A02-2893-45BF-8787-F82FC9C17C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4281682$6C7C1C05-E3D7-4821-924D-9A5E3FBC3358","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70058ddcc8b7d18517444cdafae16a73c71f8fc7","datavalue":{"value":"512972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4281682$C0927870-771B-48A5-B322-A88CA22D2082","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281682$AC568D4A-C695-4540-B3BB-BBA54FAC0B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281682$8EECB7A6-AF49-4A5A-8B81-3618B8952F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0766b3cfa06701d08a8d5ab6b691a6ce16438a3","datavalue":{"value":"unquantified theory of sets of reals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281682$A54A8C44-C925-42BC-B02E-130E115568DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fa880fd1bb54bfd1fb838c5bd9128f8b738ab34","datavalue":{"value":"unquantified theory of sets of integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281682$383A4997-F59F-4F08-ADD3-C64AD98E89DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b49eecf0641b141728b204b6a38fb19208c500e","datavalue":{"value":"Tarski real arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281682$3172AC7F-A4F7-4353-811D-CD5E427F6E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a82bf71b8df94f1f6b2810b57d7082134e0eed7e","datavalue":{"value":"Presburger additive theory of integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281682$A2FE9B0B-20CE-43B5-B8F9-184FFA1DAB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81e664065727608f17c49194fcb643bab048d13e","datavalue":{"value":"unquantified Presburger arithmetic with sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281682$7BF936F6-6884-4352-B114-F6A828280B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ccac7bfc846c296c5cc354a3a0433e354a87e54","datavalue":{"value":"universal quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4281682$88A4A8BF-36E1-4474-9BAE-8BF8F6263E82","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":"Q4281682$6E958D7C-7154-40D8-A63D-4EE9563E6243","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60b00271b24f47d225c4f196d3f4765427eb3d31","datavalue":{"value":{"entity-type":"item","numeric-id":810494,"id":"Q810494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3b1949f35d8474abefdee7783a1a10cf5c88060","datavalue":{"value":{"amount":"+0.7610007524490356","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":"Q4281682$AD5AF17B-0A13-413D-BEF2-C04F78C22774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68391f8ef32c85200322ad9cb86b329f984620bd","datavalue":{"value":{"entity-type":"item","numeric-id":810489,"id":"Q810489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"775dcaac5a73ed0bf1378f038fd22bcbfbec71c4","datavalue":{"value":{"amount":"+0.7550144791603088","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":"Q4281682$C0F750F6-96EE-42E6-A541-342E9C1D48CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea35544aca4984271b3dbec9e9b5f4a496f39abf","datavalue":{"value":{"entity-type":"item","numeric-id":4708424,"id":"Q4708424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aacc06c66b4906c5641c2fe3a59ec03c16b6a8cd","datavalue":{"value":{"amount":"+0.7546846866607666","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":"Q4281682$44279B5F-C2A5-44CA-AC31-DDE6006F320C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85a7dd125286927fff91503e3aa2188f3bb9581d","datavalue":{"value":{"entity-type":"item","numeric-id":2405249,"id":"Q2405249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f07e33fb2c5fe5b830a3911897fe79e31ad95911","datavalue":{"value":{"amount":"+0.7525337338447571","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":"Q4281682$7EEFC043-FD95-4FED-9281-DAE4EB6294CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eddc6c6df98bba5399f0ec858c89058e7116068a","datavalue":{"value":{"entity-type":"item","numeric-id":5310669,"id":"Q5310669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e28a4148ffbbfa624577b968c85bc9005c599f46","datavalue":{"value":{"amount":"+0.7461233139038086","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":"Q4281682$981CE75A-B920-459D-A588-2A717BA8840B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4281682","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4281682"}}}}}