{"entities":{"Q1307866":{"pageid":1318616,"ns":120,"title":"Item:Q1307866","lastrevid":43020472,"modified":"2025-07-16T23:12:17Z","type":"item","id":"Q1307866","labels":{"en":{"language":"en","value":"Idealization in applied first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1360793"}},"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":"Q1307866$BDA1A269-1E76-4B39-BAAD-CF85DCEA1D44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2d70b1c4ef4872b08f8ac4334ea8fbc3c07d34c","datavalue":{"value":{"text":"Idealization in applied first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1307866$7141B962-FF05-49D5-A039-DBC813A68BDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9dbacf13e24b66e994b85b8c8329abfbacc54df7","datavalue":{"value":"0936.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307866$CD26F9CB-69DC-4C66-AD89-B426FEEA4DAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf9ec31907c757fa4384ac752721c2ceddc3f3f6","datavalue":{"value":"10.1023/A:1005090932292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307866$A2CEB745-78C6-41B6-BFC7-BAD66FCF98B4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7991a5d2e04093744dbf2c994eb3b4390723f579","datavalue":{"value":{"entity-type":"item","numeric-id":1083443,"id":"Q1083443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307866$D2448B8B-4FCB-4D25-9680-F19E1A55F018","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28921346d64a666ce2dd47540df2f388e07634f5","datavalue":{"value":{"entity-type":"item","numeric-id":162813,"id":"Q162813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1307866$CBB5D05C-ED99-43DB-B739-CDE0DEB2C8FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ab51f0da63d563b6d8e1e1f2adfc1cb2e4c22ff6","datavalue":{"value":{"time":"+2000-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1307866$610164EE-750A-4813-8D46-47D5E8AB3E4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307866$A132EE8D-8C5D-4077-A845-AE986A752A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307866$58487929-6171-414F-B7C0-9ECF7328DDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"13841f0b96793f178ce9a7dcac9f232220625aee","datavalue":{"value":"03B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307866$80F84BB1-697A-403A-8284-74E972FA58F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67a6470238f47595cabf0fb15c446e351c010bb0","datavalue":{"value":"1360793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307866$A9A3ADCC-01B1-45D2-BFA9-BB9059B920F0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c54ad705c6b194974ed9fc12a2899e897cac0244","datavalue":{"value":"philosophy of science","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307866$223514B5-2C78-4F43-AB65-3ADA27E89D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9776de8cdeb830b8efb794baa4744f8d32c85001","datavalue":{"value":"approximately true scientific laws","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307866$C214D93B-4609-480F-BCC5-CE4BED1B82C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"066500610dbcb18ad4ca6cd6d74e0ba496009382","datavalue":{"value":"Plato's Allegory of the Cave","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307866$1016B058-B83B-4A21-8C1F-A431DE9453CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307866$F1002443-DA39-4367-B65B-08E90816F216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4412c3337b0bbe50ed9aee84e016191b5ff2bca5","datavalue":{"value":"theory of idealization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1307866$2970BC4A-0C3B-4635-BE64-2E65BC0DD79D","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":"Q1307866$DE0EBF52-0D5D-4497-A740-185CE94C4711","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72e1d371d6e26dd12facbfd21978d17da2c9ae0f","datavalue":{"value":"https://doi.org/10.1023/a:1005090932292","type":"string"},"datatype":"url"},"type":"statement","id":"Q1307866$758B18A8-A76C-4EB8-88F3-655A6010604D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0dff8d218304518ba648be40ee6307dbd1a3a635","datavalue":{"value":"W58725908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1307866$AF9B280E-850D-40A6-9FFF-009D7D51B665","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daac9086c02434c8fdacf12efc5f71280aac99db","datavalue":{"value":{"entity-type":"item","numeric-id":647409,"id":"Q647409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8643bfd817b5c72b14dcb2311debd5e86d0c2bb1","datavalue":{"value":{"amount":"+0.8895302","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1307866$BEF8810A-58EC-49E9-B3A3-40624691FD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e21d16d1fc0239b76e5c0e91db6cbdb72bc362b","datavalue":{"value":{"entity-type":"item","numeric-id":2957950,"id":"Q2957950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bc28fca3114e99552ea6774d4c7623b72ecc564","datavalue":{"value":{"amount":"+0.88521063","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1307866$CAB1072A-1352-418C-8AEF-AC3BE609AC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e7460196ebda04825573b212199ea98bc5a7ccc","datavalue":{"value":{"entity-type":"item","numeric-id":5845155,"id":"Q5845155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a8ebe48b050041fd80e384e2a675036bfe80506","datavalue":{"value":{"amount":"+0.87598926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1307866$965942B7-C4CE-44ED-A1A6-A8B0B889CE95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0528b1a95ac25e7672938cf2137e84e9856dfdb3","datavalue":{"value":{"entity-type":"item","numeric-id":598308,"id":"Q598308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bb2605c36fbc8e6562cedf6099da12139a07a0f","datavalue":{"value":{"amount":"+0.8717779","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1307866$CA384C29-1138-44C9-9D3E-ABFDD0B477CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d00afc7df5dcefe343196c43da2bb106723c720","datavalue":{"value":{"entity-type":"item","numeric-id":5019291,"id":"Q5019291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9d8bd271a2d36b5f85caba55769834172c552c5","datavalue":{"value":{"amount":"+0.8685889","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1307866$18CD168A-721A-4C71-92BF-0C984509FCC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c86b40a0866284973d5d20420bbaad6d6ec04556","datavalue":{"value":{"entity-type":"item","numeric-id":4858033,"id":"Q4858033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f135f6bd5d1aa6adda3a556ecf272b1948aa1481","datavalue":{"value":{"amount":"+0.86841744","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1307866$F3961313-06AF-4E67-B828-E9C64449A590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32782c00400833a9c0d7a61411b35475526f487a","datavalue":{"value":{"entity-type":"item","numeric-id":1090327,"id":"Q1090327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3332c5181af6142a4eec9f608c2aaaa3af3504c","datavalue":{"value":{"amount":"+0.86655265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1307866$A88033EF-A4A0-4D43-A2D8-565C87CFAB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"750f330f3be8a4d7fe16145ac4962de46566331b","datavalue":{"value":{"entity-type":"item","numeric-id":3731582,"id":"Q3731582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14ffb1547c18652065f75e59a0ff31be54a6f35f","datavalue":{"value":{"amount":"+0.86428547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1307866$92AB4F1D-2614-470B-A574-1AACFD24BE8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07afc0f018f5427bf208880e47a93f070723626f","datavalue":{"value":{"entity-type":"item","numeric-id":4349288,"id":"Q4349288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c804328fc491d15c1fc62c00d08b49a1854238c","datavalue":{"value":{"amount":"+0.8634814","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1307866$44505EF1-B55D-48C2-AD01-4E3754A677D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6aa2501c1573c6700d8d909a4d436e4b43980dda","datavalue":{"value":{"entity-type":"item","numeric-id":792319,"id":"Q792319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54236b37996604b56a35bcf12e8dcb03ed296a1f","datavalue":{"value":{"amount":"+0.86317325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1307866$ABFCFC76-3309-4283-BBFE-812FC5FCBDA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1307866","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1307866"}}}}}