{"entities":{"Q436368":{"pageid":438135,"ns":120,"title":"Item:Q436368","lastrevid":61814766,"modified":"2026-04-11T01:51:26Z","type":"item","id":"Q436368","labels":{"en":{"language":"en","value":"Mechanical reasoning about families of UTP theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059136"}},"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":"Q436368$2DC446E0-C709-4D14-9C7E-E5BCE96C8BDD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17e9a6a6135ca2bb00d3fa13947bc3f439b915db","datavalue":{"value":{"text":"Mechanical reasoning about families of UTP theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q436368$FC4C4C09-1632-404D-AAFB-953B8E6FB7E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93b318ecb57ee3136077c43ba04c6a058bafb7ad","datavalue":{"value":"1243.68270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436368$12C48B11-ED56-451C-A0E5-5375BA482A5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4d150d5bf876b5a829b43934d70c20b18c58f39","datavalue":{"value":{"entity-type":"item","numeric-id":432149,"id":"Q432149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436368$66611E64-DE1E-4D21-89D0-17D48B514B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f27d31a7277a70c7762a067d64f6707ee9b1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":315300,"id":"Q315300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436368$4B1106F6-7BA0-45C1-964A-77A38655BC7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436368$2F106635-2501-4FD3-81C2-BEB6DC7663A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f68cb3c87baf768a64bd6e3aa1148be541c492c4","datavalue":{"value":{"time":"+2012-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q436368$05C0EB5F-059F-46D8-9B18-FEE91A131B6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436368$E77581AC-9EEE-4F64-B371-C580C01712F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436368$3EA94EBA-EFB0-4436-9CB7-13D980E059BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436368$7C1BBF50-36F6-4563-8526-BF02C5DF1DE4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2172f9328c283c135ebdfde9e283798c43112243","datavalue":{"value":"6059136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436368$410E6A36-161E-4865-8989-901D40DED2B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c63025624a588a2d5aee1e2333aabc7eb290a1b","datavalue":{"value":"semantic embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q436368$1150EB94-C026-4EF1-8CD6-C7CF585B3CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q436368$A4BF6FC1-31B5-4EE0-B5E3-0D841C9C67CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q436368$7D50507C-DE46-4818-BD72-082F3B875BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"624576107f585ce6db71ba25fc919c7f49eaff22","datavalue":{"value":"proofpower","type":"string"},"datatype":"string"},"type":"statement","id":"Q436368$90614105-7CF0-42B2-BF73-AF4BC50100E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30fafc44265dfa91ca2c1422c4fc2ccc0afa28bf","datavalue":{"value":"Z","type":"string"},"datatype":"string"},"type":"statement","id":"Q436368$0C08CB95-97D7-4EA1-A3CF-4403946D1480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6c8223143402d63869cb92db7f64e9cbcbc6f9c","datavalue":{"value":"Circus","type":"string"},"datatype":"string"},"type":"statement","id":"Q436368$16E932FE-B49E-47CF-BAF2-B78D0D571AD2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9189048b3936abda7e80b02cf829681849623735","datavalue":{"value":{"entity-type":"item","numeric-id":33628,"id":"Q33628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436368$B9A6E677-FC6F-4DCC-9E21-5F5B68EBB2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436368$0199E77D-5ADF-42F7-976E-E48367D3AF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436368$2CBB7728-4728-4C23-A8AF-3440661C03E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b2040a476017b43b21bd352cfec0a67d631d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":18467,"id":"Q18467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436368$C088C74F-604D-441D-8003-BB93E2555CD5","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":"Q436368$7CE655A4-841E-46D6-8518-DA68FF24E97E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3963d42c7dd62b81cea26d7e3ffac2978d8ead81","datavalue":{"value":"https://doi.org/10.1016/j.scico.2010.02.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q436368$184FC6B6-6B40-498E-AFD4-807EBE9AC7E7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"320130f0961bcef517bfe4b3d2a6b3aa7e8db066","datavalue":{"value":"W2049339773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436368$D836E1E3-DB63-4C75-840D-8E2F7A213EA0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2afea125cc066f2c6ea296b8495ce1912d0031da","datavalue":{"value":{"entity-type":"item","numeric-id":5716880,"id":"Q5716880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436368$DC7D6039-892C-4717-BC6D-6982CD1E535D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7ac24fd531f581fbac6bf121377ab8b25a4774","datavalue":{"value":{"entity-type":"item","numeric-id":3667969,"id":"Q3667969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436368$F28EC726-7100-4E27-A872-1B7E802C3F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2179d8546d5ce60e354479db662e7bc4b3f5aef8","datavalue":{"value":{"entity-type":"item","numeric-id":706512,"id":"Q706512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436368$A35D2F29-09F4-4470-B899-43DD665E5500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436368$A3E23E62-8CB3-4556-A3D3-16267A720A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70fb67831048f0d62fe4d449fdd58a69df2892fe","datavalue":{"value":{"entity-type":"item","numeric-id":5505599,"id":"Q5505599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436368$536FC13E-3206-4469-B3BE-82C232364E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436368$D1440D1F-B27A-4F7A-81F4-393FF08AFF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25a0871e689d89f50ea5d55d8f43a6e7005bcce1","datavalue":{"value":{"entity-type":"item","numeric-id":5307484,"id":"Q5307484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436368$8A7AE584-30E9-4738-A367-252BE363CBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"263b81d6f82aa7bc5c419ca585e86c9e4182e475","datavalue":{"value":{"entity-type":"item","numeric-id":1019016,"id":"Q1019016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436368$68843AC9-18A5-4C96-801C-80A9CEE1548B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7055297a7b50a57f393bf91cddbacab39495edd","datavalue":{"value":{"entity-type":"item","numeric-id":4412559,"id":"Q4412559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436368$DB07C956-D05F-484C-8239-0683C70CD572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cdd6bade1c3454eda14333c0a2ad28ec83785b4","datavalue":{"value":{"entity-type":"item","numeric-id":5781189,"id":"Q5781189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436368$D8D5D39D-844E-406C-856D-ACC9865961C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc22454e59c42890989b223acb2a7da42f9239c9","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436368$7BB747AD-E2E3-4643-B7EA-84EE55001912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72b05a7a4ae1aba0aeda8bce24a91465e6a5c1ed","datavalue":{"value":{"entity-type":"item","numeric-id":2873610,"id":"Q2873610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436368$A42B8A34-C0E7-4C9F-86B4-2D66D42B719B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2912cb6352cc0030422f8213b242952537b92aa","datavalue":{"value":{"entity-type":"item","numeric-id":436368,"id":"Q436368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q436368$6D685B25-4ADE-4A72-A24E-0EC36D22E7F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2558411d0016a38cbdf891fe3b6f18b7f6a9fc96","datavalue":{"value":"10.1016/J.SCICO.2010.02.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q436368$4949AF3F-2CCB-424F-ADEA-0159D14672E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34160df6711a57363183228c6a05d61860201eb0","datavalue":{"value":{"entity-type":"item","numeric-id":5179366,"id":"Q5179366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2096e5ede16a32423d37ea0c6a98597ff0c29a22","datavalue":{"value":{"amount":"+0.9745842218399048","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":"Q436368$DE8D8D1E-F89B-4863-9499-802678F9B9FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6db23d2ad35e7f6579e9dc67d88087dcc91726b","datavalue":{"value":{"entity-type":"item","numeric-id":2814613,"id":"Q2814613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b9b5abd3efe4743d2aabf6e9b13ee8b1409f5fb","datavalue":{"value":{"amount":"+0.8505057692527771","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":"Q436368$4D6B4AEA-45F2-44BE-8F1B-F859D5C773AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a73c88cae8fa0a228995f00f01a8b5461832bfc","datavalue":{"value":{"entity-type":"item","numeric-id":1941892,"id":"Q1941892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"464f34c08babba1ea4f6699f23f31e94cf180552","datavalue":{"value":{"amount":"+0.848903477191925","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":"Q436368$5A3BF80E-63F7-456A-A16D-815136C37035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"687d4e36e0188adebac5ebaaa109ac2a3562936b","datavalue":{"value":{"entity-type":"item","numeric-id":5307484,"id":"Q5307484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50ac01fe90953355d0b3f67626f75b42ed6e9024","datavalue":{"value":{"amount":"+0.8236584067344666","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":"Q436368$3EFBF785-5826-4F8F-9997-D9A5C0465755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5841d5f9923d6922c7afdd94dd1a26555046af11","datavalue":{"value":{"entity-type":"item","numeric-id":2971180,"id":"Q2971180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fff55d5fa00b7530a2c72562dbf0f780a397429d","datavalue":{"value":{"amount":"+0.8170254230499268","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":"Q436368$074D9B7E-B229-4BBD-B658-23396E168252","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mechanical reasoning about families of UTP theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mechanical_reasoning_about_families_of_UTP_theories"}}}}}