{"entities":{"Q1024867":{"pageid":1026715,"ns":120,"title":"Item:Q1024867","lastrevid":65972346,"modified":"2026-04-12T06:40:30Z","type":"item","id":"Q1024867","labels":{"en":{"language":"en","value":"Adequate formalization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5566070"}},"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":"Q1024867$D4A0D305-02F4-4644-B036-AB311CF62917","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f47b9489366b446328aabfe7121d2a6dd57162f3","datavalue":{"value":{"text":"Adequate formalization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1024867$E3DB32AF-C5E3-4907-B497-FD539C3D8B39","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e626993059d8daa25a6e188a46fbe98c93f4ed59","datavalue":{"value":"1169.03308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024867$3C7541C7-A5B9-4608-ACB5-54A7732D4B55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75dba74a2eaf2d8b3fffdf3d248aae217b56b2f1","datavalue":{"value":{"entity-type":"item","numeric-id":484953,"id":"Q484953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024867$6B69DFE0-D28B-47A8-9C40-7A9E59BD9BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba78823b0b0d1a81604ef865e854fb8c30911e0a","datavalue":{"value":{"entity-type":"item","numeric-id":1024866,"id":"Q1024866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024867$4684B8F4-660E-4386-8058-712ADD085453","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":"Q1024867$16C07124-D356-49E3-A8E9-B94C79A4E922","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b56d9fd9827ead92e1d841b592f7852bcfece777","datavalue":{"value":{"time":"+2009-06-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":"Q1024867$1C5C7B1D-BCCE-4AF5-B878-47E165798DFB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09f51218c461087f2c3403ac38beec406f260f51","datavalue":{"value":"https://boris.unibe.ch/117786/1/11229_2007_Article_9218.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1024867$D2E35E2A-8804-41B5-8BD3-384CD27014A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024867$0184D20C-19D7-4095-A783-7745083A9CF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024867$6A3593F8-A1B4-48EF-8809-A270273E9438","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4583043113337681d2cf9e093fcc8a39b5d0adc","datavalue":{"value":"5566070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024867$3C54335E-8C1E-4759-A89B-59EB99A66354","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0b33d0462cd615da5fa4cb128fa27b6442afaa3","datavalue":{"value":"philosophy of logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024867$8125EAAB-1E7A-45B1-983A-E2024AE80782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"833c0d8a490c1745f94c9cee063ee5303510a243","datavalue":{"value":"theory of formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024867$7DB7FFA2-6BE4-4763-95AE-A4F7A138A208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d1a5cc3bec0286089741d7ea52d9a8d72cb4d87","datavalue":{"value":"applied logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1024867$9AC39F91-57CB-4ACF-9BEF-1E5E16913C36","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":"Q1024867$C8E5D84C-8A12-4FD8-85A3-8CBA8D8B36C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5279ea5a0b2e1e90f1f9767ce5324712a7e450de","datavalue":{"value":"W3190352147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024867$85FDEC32-F6AD-439B-890B-46097594A9F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bc6cb16206c23f60538ec60aa79c5469ef42fb3","datavalue":{"value":{"entity-type":"item","numeric-id":5799632,"id":"Q5799632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024867$6B7C2622-1B43-4AC6-A413-8AD96F11D2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f919f8b4d2eb645debd94e27c0809c0d981df70d","datavalue":{"value":{"entity-type":"item","numeric-id":3995890,"id":"Q3995890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024867$0DC865CA-25EE-4CF6-A566-9672E7BF99BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82ff05fa12099ba6070b44193b6bacfd87f6fbbe","datavalue":{"value":{"entity-type":"item","numeric-id":4844096,"id":"Q4844096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024867$375C1EC8-D770-4BE9-95B5-3E6CAFBF663E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be92cc67c74a3e9001cddc3a5f57d61566eb7852","datavalue":{"value":{"entity-type":"item","numeric-id":1325773,"id":"Q1325773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024867$E568104E-D3C9-4504-98DC-20BD92DA3D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a3335a93df4f3c38bbd4899cdb2d2ff6c55fdc4","datavalue":{"value":{"entity-type":"item","numeric-id":2768758,"id":"Q2768758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024867$47E75290-CBC5-43F4-BFDC-D7D900C5821D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bc15d95c2fecaacb5a614fc938e6960208d67a6","datavalue":{"value":{"entity-type":"item","numeric-id":5816097,"id":"Q5816097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1024867$77E55B63-F353-4DA9-B3D9-940C545F5361","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a251ef568c68088cb5a9377d8834b2d6d652bca2","datavalue":{"value":"10.1007/S11229-007-9218-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1024867$D83470E6-6936-4C61-8BFF-A9209E9DEBDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"982f692fe5722fa51390eba7c6bbcd5323844e32","datavalue":{"value":{"entity-type":"item","numeric-id":5149148,"id":"Q5149148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13871fac036dc07ed4db90cd0759bccd228beadd","datavalue":{"value":{"amount":"+0.8418746","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":"Q1024867$7C6BCA26-8671-4A6F-8A41-2A1046382DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f037857bb9198050e50962830410581a364a2781","datavalue":{"value":{"entity-type":"item","numeric-id":4233991,"id":"Q4233991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f64db20514919194e280ecba1716f9e5dd745aa","datavalue":{"value":{"amount":"+0.79055303","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":"Q1024867$DDD44E2D-EE4D-4F5D-B5E6-AD025A3DC171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"794769b12657da492a15f9ef40e2ebdda191c517","datavalue":{"value":{"entity-type":"item","numeric-id":4325790,"id":"Q4325790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c18725f18a471b00c26fd1a1dc5955fbaf534cc","datavalue":{"value":{"amount":"+0.7816874","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":"Q1024867$AEDE85ED-095D-44CD-899D-DD07AE1C75D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39a2f79b334699a5e70bb766972d59c55df950d1","datavalue":{"value":{"entity-type":"item","numeric-id":1317509,"id":"Q1317509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c18725f18a471b00c26fd1a1dc5955fbaf534cc","datavalue":{"value":{"amount":"+0.7816874","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":"Q1024867$115B5442-4E72-48A1-BA8B-132B9AD421A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbe8a148e1ae8cb24d477457ebc2683a0f5b602c","datavalue":{"value":{"entity-type":"item","numeric-id":2720898,"id":"Q2720898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84385d51469faaddd71a3b5df7faeeb37517a347","datavalue":{"value":{"amount":"+0.7806834","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":"Q1024867$8D4F06AA-3742-49D4-8CC5-D7DD753996D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a3bbe0a3991a020f94e4b68468b6861986b71bd","datavalue":{"value":{"entity-type":"item","numeric-id":4835586,"id":"Q4835586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1164bff5c0f5fa50e5458c82c2355a4d5e8f7bb6","datavalue":{"value":{"amount":"+0.77455264","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":"Q1024867$3BCDF88C-A74B-4C64-A315-CFAC3F0FC6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0d978f4d21dc1d357e9d0db3915104b62225ce1","datavalue":{"value":{"entity-type":"item","numeric-id":3529086,"id":"Q3529086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f589830e6a6b67b44b0d891b73608c579312889","datavalue":{"value":{"amount":"+0.7742643","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":"Q1024867$C06EAA47-F2D6-43CE-98EA-8C4ABBAE88AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5ef0fb1e8dd303bca3e71d254db476ddf787bff","datavalue":{"value":{"entity-type":"item","numeric-id":4822151,"id":"Q4822151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f0a3fded96767a48fde7da8a98e3a335d463023","datavalue":{"value":{"amount":"+0.7726987","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":"Q1024867$308B2454-0F42-43E8-BC94-1B2707C1A3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eabada3a54f8f0c501d3854d89326e790997517","datavalue":{"value":{"entity-type":"item","numeric-id":1607091,"id":"Q1607091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad787c69abd0de73ff8bbe81ebf5972a6c762ec4","datavalue":{"value":{"amount":"+0.7723002","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":"Q1024867$13F4B686-CFFF-46AF-9D9C-8DAD18D0D209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d6727e5c12b4999c6de24f7d3715487a595b821","datavalue":{"value":{"entity-type":"item","numeric-id":3177797,"id":"Q3177797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cfa2452f35fcac6a12ec8fca569040b9af73acc","datavalue":{"value":{"amount":"+0.7697563","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":"Q1024867$40F48A65-482F-45F6-A705-F945865BC1C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Adequate formalization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Adequate_formalization"}}}}}