{"entities":{"Q2741534":{"pageid":2752273,"ns":120,"title":"Item:Q2741534","lastrevid":47667640,"modified":"2026-01-02T09:26:13Z","type":"item","id":"Q2741534","labels":{"en":{"language":"en","value":"Theorem proving with structured theories. (Preliminary report)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1642930"}},"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":"Q2741534$0BB4BBAB-501F-4492-AF80-F283FDAD37DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"093c25d93c4afbfd88fcfa49451fb7720d884607","datavalue":{"value":"0990.90558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741534$294E9B98-4308-4DC3-80A4-D1D0423C3CB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf57a15e60aa9dd2d720b1ac8f7cc15a99ffa6c0","datavalue":{"value":{"entity-type":"item","numeric-id":543572,"id":"Q543572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741534$8FCE07C1-19C9-4512-A352-5BBEC5ACB8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be8270aeff3b090524a336c3cfc48f20d7a08fb3","datavalue":{"value":{"entity-type":"item","numeric-id":543590,"id":"Q543590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2741534$EF718E49-A279-4187-81A7-55F966BBD27F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b975fb917d02ff3cd909fbcf7490582affd2f02","datavalue":{"value":{"time":"+2001-09-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2741534$BE02D847-66E5-4E7A-821B-4C310CA0F2D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35cb8465ca85ba26995d54be2905dc35556d665c","datavalue":{"value":"90C27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741534$54D60BD3-3EC3-4C44-9358-6569A45BA6CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f2abd40243ae31b7781c1f920deff9c45be4474","datavalue":{"value":"1642930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2741534$316A8DCB-0174-4477-9C55-E022502B13C4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"123eec2a9f4a177ce8ccb454fb4d1a83f34d0434","datavalue":{"value":"multiple structured commonsense theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2741534$8BDCF26C-0B7C-43A4-A7D7-BF5D506579E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be4147ffd3bf3452f1a0894c021c7bb9bff88829","datavalue":{"value":"graph-based techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q2741534$C469AE34-869E-43C2-BEBA-0C7061B8682B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fefc55e57d68fdf2c8f8950d7048560628c3d4d","datavalue":{"value":"message-passing algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2741534$5F98D4B7-364D-4603-98AB-715C3302DE58","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":"Q2741534$179D5CED-3EDA-4A5C-BE24-4141177795D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73148c8f7661fe34660e20f5c6099ea8126b4d60","datavalue":{"value":{"text":"Theorem proving with structured theories. (Preliminary report)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2741534$22CC2756-FF79-4A7A-BCD0-142AC7E82467","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"492fa29755fcf1ce7f861406674428a4b21908d7","datavalue":{"value":{"entity-type":"item","numeric-id":2457688,"id":"Q2457688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6372f7894da17e212d80850518f4ef3fa93703e8","datavalue":{"value":{"amount":"+0.7361662983894348","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":"Q2741534$19E3BF22-FE8D-46E8-94EE-5C128C807198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3328acb14c381645dbb1f9eb31b744a4a34bbbc0","datavalue":{"value":{"entity-type":"item","numeric-id":5210762,"id":"Q5210762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f6dfc65451c067be3430aeb31fc438903003280","datavalue":{"value":{"amount":"+0.7340818047523499","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":"Q2741534$E8904276-E46B-4C14-BF71-D22F8017BD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33c30bc9a2a380a06dbc43b21f851f373d891824","datavalue":{"value":{"entity-type":"item","numeric-id":3783624,"id":"Q3783624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4230ad995d7fef8ded7cce2131e1ee070f4a105d","datavalue":{"value":{"amount":"+0.7296528220176697","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":"Q2741534$53C004E8-58E1-4B5B-B030-0A93DB31A1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86850ded6f45d5b101dc64f62f56e07fc50ca10b","datavalue":{"value":{"entity-type":"item","numeric-id":1914165,"id":"Q1914165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9564dffa811ab1090d476f14b0739ecb1258398","datavalue":{"value":{"amount":"+0.7271623015403748","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":"Q2741534$8B3EF0F2-C064-4659-8CC4-08B4D70A05A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74e5c4de3682dd0d7ed6433442c7ef8e31d27133","datavalue":{"value":{"entity-type":"item","numeric-id":3783626,"id":"Q3783626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ee8e2063a99911ffe511600e39f2472012d2d65","datavalue":{"value":{"amount":"+0.7197099924087524","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":"Q2741534$30F452F5-A8B3-464F-9707-2D41C7B6C2DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2741534","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2741534"}}}}}