{"entities":{"Q5742202":{"pageid":7771753,"ns":120,"title":"Item:Q5742202","lastrevid":53426579,"modified":"2026-01-24T22:51:31Z","type":"item","id":"Q5742202","labels":{"en":{"language":"en","value":"Formalization as the immanent part of logical solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7056029"}},"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":"Q5742202$B917944E-03D7-4D20-B9C7-9303C5B674AE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"531c2a7e7853c3974106bb921fb80c8e5e8ccb52","datavalue":{"value":{"text":"Formalization as the Immanent Part of Logical Solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5742202$D12ED309-B6C6-4922-95F8-97171A302011","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a9a3963e395aae5f374a0903fa26f1b06fe5743","datavalue":{"value":"1431.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5742202$1709CA95-7DD2-4F45-87C1-91EA788F4FAB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17326997f6aac0f6de95ba335679a3ab8abe1539","datavalue":{"value":"10.21146/2074-1472-2018-24-1-129-145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5742202$CC30E576-D7E2-4ADF-9469-8D04E48A75F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e84fb005a154bcd562e79420364357d5b43325fc","datavalue":{"value":{"entity-type":"item","numeric-id":174067,"id":"Q174067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5742202$7CE0371B-46A9-42C9-AA8D-7D8D86E44DF2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"419a39ba736b850fef44044ed2847be5eb6b6cc4","datavalue":{"value":{"entity-type":"item","numeric-id":2981227,"id":"Q2981227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5742202$E459C6D1-2689-44B3-B5C1-CB004ADE782D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d892d61c8fad68bfab9f26cb162b50f4ea172c31","datavalue":{"value":{"time":"+2019-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5742202$C44292D4-01C6-4FE7-8755-CEC7C8AFD5A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5742202$7FF849E3-5BE9-46BA-9DD3-4EC1DC23D175","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9756d574767d902a3ca84d3ec26d8d5e2c472ec7","datavalue":{"value":"7056029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5742202$746F6142-A359-41AC-AFEB-292781FD1B2C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56412c0b3b69ed9d5895cf8861e17d3223e9739f","datavalue":{"value":"applied logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5742202$57E637F2-FD92-4AEC-8868-D1AAF1A25DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5ef51b89dbf72f7181f6b41896d9233a3e6b1ce","datavalue":{"value":"formalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5742202$97B8DF7B-68FC-4B09-8D65-832ABAAAFA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9476589c63d96925cca83d01c5f73713fe0508e2","datavalue":{"value":"choice of logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5742202$1105BC2A-48DD-4965-8F74-560B7B1CC64E","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":"Q5742202$782FEB8A-EE47-450B-BE0F-F0A0BBE3763B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ea6705b63fc9ec79acd7624a2022b0ff50b9b0c","datavalue":{"value":"https://doi.org/10.21146/2074-1472-2018-24-1-129-145","type":"string"},"datatype":"url"},"type":"statement","id":"Q5742202$E6FCCD12-F65E-4FB8-B020-556D287AF44D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"157343ce5c39a762bd747bce0dc3d4fd6a4a5bc7","datavalue":{"value":"W4252270128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5742202$65BFC979-0592-42A1-97EB-BCC8EF61E02E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"10743476011be43955af47ea30f5733f38d773a7","datavalue":{"value":"Q129558999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5742202$D86A96A5-E29D-450F-A18D-BBF9C2840F5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66a428213049867feae87dd5952c29a882e2fcc1","datavalue":{"value":{"entity-type":"item","numeric-id":5124222,"id":"Q5124222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffd495b2fffa44fc594c8847e3f1c2ee4fd8a7eb","datavalue":{"value":{"amount":"+0.7622280120849609","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":"Q5742202$828F570A-F7F2-4D3B-9CAC-811785EA9E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e3a62a6592d32f3842441db90fa561e80668013","datavalue":{"value":{"entity-type":"item","numeric-id":4017364,"id":"Q4017364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f8f88368829bd1b9a53bda1cef1c2eedb87138b","datavalue":{"value":{"amount":"+0.7441146969795227","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":"Q5742202$49EBEDD8-EB94-41A1-8A82-8C2B65FA4994","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b113702951b2f59ac8979ddf5b7b0280ecab9f95","datavalue":{"value":{"entity-type":"item","numeric-id":5742195,"id":"Q5742195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f8f88368829bd1b9a53bda1cef1c2eedb87138b","datavalue":{"value":{"amount":"+0.7441146969795227","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":"Q5742202$A19D0B60-5E7F-47AC-A34F-737E780BC501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cae299b78fc0bf1394dcf3a1b3c49e5c0979a1","datavalue":{"value":{"entity-type":"item","numeric-id":3973194,"id":"Q3973194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2e2345944848cf53cf0c88e96e60684cfd9508c","datavalue":{"value":{"amount":"+0.714322030544281","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":"Q5742202$2153CE63-06C0-4697-BC60-EFAF98AD0688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cae3ec4f148a95e4f5ef1ccde384100ab661c29","datavalue":{"value":{"entity-type":"item","numeric-id":3160635,"id":"Q3160635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22f201b114e71a026a95e83ffe8f9d50b421cec4","datavalue":{"value":{"amount":"+0.7134004235267639","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":"Q5742202$465B30FC-F03C-4242-986D-5792D43E3C8C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5742202","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5742202"}}}}}