{"entities":{"Q2799178":{"pageid":2809916,"ns":120,"title":"Item:Q2799178","lastrevid":52501544,"modified":"2026-01-22T20:01:10Z","type":"item","id":"Q2799178","labels":{"en":{"language":"en","value":"Reasoning on schemas of formulas: an automata-based approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6566783"}},"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":"Q2799178$C715D5F4-F7C5-4DCA-A503-206257A21865","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16a2e4ad18121f54970a15cf51a338474ba0a3c0","datavalue":{"value":{"text":"Reasoning on Schemas of Formulas: An Automata-Based Approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2799178$EF1DB554-E635-431F-B359-86E75EE17C14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43896f94fe79b17bbd20348662d24dbb4c11dd54","datavalue":{"value":"1451.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799178$9C6E470B-ECE1-4063-8D3D-FC8B16DCD6AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"94f7cf070e97e40dd8a76ab603ec19b5e4415638","datavalue":{"value":"10.1007/978-3-319-15579-1_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799178$79DCB377-9E10-48C6-9F3E-5D282B8E7A0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799178$9F64422E-1C76-4AB1-83B3-AB8AB2F2E519","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0685e722024dfab8b1c6ee631b614ae84196cb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2798705,"id":"Q2798705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799178$B8E22FFB-4323-4C41-9804-76BF63D2B103","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b86ea1a94e09e929f8289e34f06858aefd9bcd2f","datavalue":{"value":{"time":"+2016-04-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2799178$D2D8D3A4-1C6E-45B0-A171-D7F75EB01049","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799178$CBFE21CD-353F-4AFC-B371-95B91F8E81AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799178$B95A1A19-C503-4861-B316-0006E9AE4C44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5da0f88d5557cff9d9075afc8cf53ec093bea71e","datavalue":{"value":"6566783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799178$384D51D8-4A1F-460C-A381-61F8151920C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799178$7D75B2CD-165E-4D51-8753-01B107CB9ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1254a7c01d2970b87da2854c1fde40c268a1f55d","datavalue":{"value":"satisfiability modulo theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799178$EFA932F8-03B5-44CA-BD98-6F838A81A2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57f48fd328779d437a28c2f48d253d0ba8c1570d","datavalue":{"value":"inductive reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799178$052F8E26-6826-4678-A386-E13283586963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8448faa453a2bb5ad96b2ff8b8f8d9ade25e686","datavalue":{"value":"schemata of formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q2799178$3D5E5827-2D50-4E2B-954A-476BD961A174","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":"Q2799178$A6B87968-600B-46B0-8327-2668A77F2654","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e14de89a2f64811cf04ad5c5edaa67cf85a765cc","datavalue":{"value":"https://doi.org/10.1007/978-3-319-15579-1_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q2799178$034FECF1-0F68-42A7-ACCC-38C2EC880A01","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1000792f8d1c905587e0e50bd6236eebb2216d5","datavalue":{"value":"W4299145813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2799178$4ACB81ED-BC9E-4A5B-A706-2074673FD03B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3352cbad47406e4e9396481a13cd2a2bc144ae72","datavalue":{"value":{"entity-type":"item","numeric-id":3564849,"id":"Q3564849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799178$358B1F2E-8937-4014-AFA3-2FD5066BC366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1d85b8a2728210d830a58949e5ef37b34bfecee","datavalue":{"value":{"entity-type":"item","numeric-id":5747769,"id":"Q5747769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799178$D034F0EE-7B2B-43C4-9E8E-0DBB67844ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b361894c6b71fde79250011881cbf350423ee13","datavalue":{"value":{"entity-type":"item","numeric-id":2996912,"id":"Q2996912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799178$D2C4B5C7-C862-4FCC-A725-22B63BA015CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a39875da12e6a20b9275a5b477b27fec81a632c4","datavalue":{"value":{"entity-type":"item","numeric-id":3010358,"id":"Q3010358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799178$2168D2F1-4D69-41E3-ADE7-9EA021192015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819a2535befb2a67f49ee5e43432525215be36de","datavalue":{"value":{"entity-type":"item","numeric-id":4702972,"id":"Q4702972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799178$3DA6882E-9F26-42CF-83EA-C4F3A04337FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799178$06465F26-B40F-4B56-89F2-F01225F7AD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2799178$373111C8-2CBA-402D-847A-6F9B075BE5FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afe17c855d4117ddab26111917a10e36dd79afdf","datavalue":{"value":{"entity-type":"item","numeric-id":2907331,"id":"Q2907331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f43f47682f76938d228c98cc760e9abaaed4b70","datavalue":{"value":{"amount":"+0.8407933115959167","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":"Q2799178$B5F78175-00EE-43EA-992E-5BFD09C30D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9794b5c678caa1e43972ceb7063bd0ba353da15d","datavalue":{"value":{"entity-type":"item","numeric-id":3010358,"id":"Q3010358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"027b0389c78016285d44a145a939bbd064ff8a83","datavalue":{"value":{"amount":"+0.7874335050582886","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":"Q2799178$3874537A-1C99-450F-A83D-25058E2AEA41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0ca811bd079d4bfe6c8aae75f90cf6eba538d3f","datavalue":{"value":{"entity-type":"item","numeric-id":3564849,"id":"Q3564849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb55872195fd26c85e9edbef04dac9b2823bd2c7","datavalue":{"value":{"amount":"+0.7807203531265259","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":"Q2799178$D154E732-0392-4F57-A9AB-FCA4047F2074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eced778ca8a133c24e6193a3a92105e82ee2858b","datavalue":{"value":{"entity-type":"item","numeric-id":3648719,"id":"Q3648719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e77f5f31af2a7318b6102c79e82f15af1c8f217","datavalue":{"value":{"amount":"+0.7800887227058411","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":"Q2799178$7F722778-428B-49E2-86E0-54F5DC45BCF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d515466375177240c9a5a9d2e20b70905c14b4a","datavalue":{"value":{"entity-type":"item","numeric-id":5376325,"id":"Q5376325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5fb10e8e0562cd8cb50a0f10cc6c963fd26c797","datavalue":{"value":{"amount":"+0.7631664872169495","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":"Q2799178$CEC0E438-AE0C-4C07-B64D-BF1DA484E40E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2799178","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2799178"}}}}}