{"entities":{"Q4645243":{"pageid":6674824,"ns":120,"title":"Item:Q4645243","lastrevid":53315744,"modified":"2026-01-24T17:25:41Z","type":"item","id":"Q4645243","labels":{"en":{"language":"en","value":"A tableau calculus for minimal model reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6999526"}},"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":"Q4645243$600D88E5-0400-4D25-9DE8-E527BFE4698C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"790cbcf2ca000e603f0fa8a8a6894490449fbd46","datavalue":{"value":{"text":"A tableau calculus for minimal model reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4645243$6742DC85-D55C-4EA1-9397-09D9349DD385","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f10363f352ee269506b687892b497f3797063ed","datavalue":{"value":"1412.68247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645243$5AD14DE5-84DE-47BA-B65B-E6871ACFD2B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44ba28a6aad85dbcff53db6167cd9ddb0bad8d1b","datavalue":{"value":"10.1007/3-540-61208-4_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645243$2DB6FCF3-4DE1-4724-A172-4FEA116F6A3A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"260f361c96cfc64e7204fcdf9876515bb18cb191","datavalue":{"value":{"entity-type":"item","numeric-id":4645221,"id":"Q4645221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645243$F570F2C9-742F-41B9-A766-9406C19392F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"412b474a973c0dfa7488c61fc45fdeec318e212e","datavalue":{"value":{"time":"+2019-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4645243$10F13941-8485-497A-A7E2-1F6BB2A422A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645243$700A557F-F0E7-4ED6-871B-7F26CCE7A237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645243$8A4C5EA3-AEC4-4082-A83C-8550F6BEED57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645243$A57AF7BC-AEE6-40D5-8F5E-7C075D012574","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43d9338f30c5e04149312a3309fed1408da74748","datavalue":{"value":"6999526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645243$CCA22193-1B27-457C-915E-083BBEB1CC15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84a0bf8ed8d41ff3812d01e44b824eef0aacc110","datavalue":{"value":{"entity-type":"item","numeric-id":414901,"id":"Q414901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645243$E96D66DF-97CF-49E6-9107-BD3E867E842C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70c51cb69cf83ba52d30c7a2c9abf4fc48a6f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":18707,"id":"Q18707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645243$63C5F7C2-575D-4700-8E23-D6A3FA092C90","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":"Q4645243$12390D52-76DC-4AA6-80C1-7B71B02B4F28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32d99e49a836b43a3e1a5ee6bf8a9ddc8ab780eb","datavalue":{"value":"https://doi.org/10.1007/3-540-61208-4_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q4645243$0D47255C-212D-4F7A-9EBB-886C672CC2DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d87dbaed649c7fd2ca20e210420973a30da7a6e0","datavalue":{"value":"W2167440926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4645243$042BF75D-74D5-4DF3-8628-1EE62D0B9453","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6480e2a885f5d2e73184cc8bbed4b0ea103f0249","datavalue":{"value":{"entity-type":"item","numeric-id":4645233,"id":"Q4645233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645243$CD7BD75F-090C-4291-BAE1-22A50044505A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645243$705C835B-1662-4055-8780-4CFE485EF215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19a13d21f909bc5d01ac054faba1d283210dbc5","datavalue":{"value":{"entity-type":"item","numeric-id":4304496,"id":"Q4304496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645243$51F7E6D6-2727-44F6-BB34-4B5A9199EB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5139300d7b574d62b172077ebfb60a98099a168f","datavalue":{"value":{"entity-type":"item","numeric-id":2367539,"id":"Q2367539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645243$FABC9609-C503-4600-9931-17689582B397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd8d1dd5d31c59ca258af36242eec281a44b582","datavalue":{"value":{"entity-type":"item","numeric-id":3996619,"id":"Q3996619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645243$03EA3A37-EAB7-4757-8BB7-313F6D86486F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4e4365ab3617f49a82656c2f347e9995151467","datavalue":{"value":{"entity-type":"item","numeric-id":4296748,"id":"Q4296748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645243$71E66417-9F66-4E3F-8F68-EA4A8DDF44ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f927a92bfb7361a8954519f1790a19e0db351e9","datavalue":{"value":{"entity-type":"item","numeric-id":1123640,"id":"Q1123640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645243$0BEBADB0-86A3-43F1-90F2-3C8FCDA35E0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d701f4e3ec0808250b7d612a643c00e9f17dad4","datavalue":{"value":{"entity-type":"item","numeric-id":4264729,"id":"Q4264729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645243$56C90954-920F-42AA-A45A-760B071FAD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c16bedf88d37c78219926e82b3d7a7a9dee66a31","datavalue":{"value":{"entity-type":"item","numeric-id":3821629,"id":"Q3821629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645243$78F92571-A783-4E53-90F3-6B7CE81B5B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e359fe7160084f9475b6a146510d9131a9d3d2","datavalue":{"value":{"entity-type":"item","numeric-id":1346715,"id":"Q1346715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645243$7683174C-16DA-49BC-AF55-44A6609F6C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cc9a704e0a695471223ef1cd33102312776dcd2","datavalue":{"value":{"entity-type":"item","numeric-id":688552,"id":"Q688552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645243$9BF68CDB-9738-43C2-91BC-5AC42A48D946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac3a55eef82665d7ad7eb4bc7b9c6ea93d04ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1115208,"id":"Q1115208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645243$14719B64-2414-4A4C-B96D-CE4CA3DA8CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af77981a43abcda1d261a05984537b43f03bc74d","datavalue":{"value":{"entity-type":"item","numeric-id":1924728,"id":"Q1924728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645243$3ECE85C4-1D77-4171-98B5-2E34B32F9DAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645243$91C19B34-BAC8-4B24-8E88-E0AE1041A76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6ec69f981604c496bf32ea77e5430ec992e0b59","datavalue":{"value":{"entity-type":"item","numeric-id":1344891,"id":"Q1344891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4645243$C77FC253-09B4-4500-8FFF-2D05D870DA73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5343a256059c90413c367a04bdf27b286c85de5b","datavalue":{"value":{"entity-type":"item","numeric-id":2825415,"id":"Q2825415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf26ee46465a0c402c166848c4a8f48dcb53b315","datavalue":{"value":{"amount":"+0.8094705939292908","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":"Q4645243$937F2422-0A2A-4A22-A3E9-2F94CBF38793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05a1298735b112548078970047add90b2d29788b","datavalue":{"value":{"entity-type":"item","numeric-id":1380414,"id":"Q1380414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"476b4921554d1383151d10ae34ea0145a7419757","datavalue":{"value":{"amount":"+0.797502338886261","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":"Q4645243$5EE475AF-9771-42DC-87AD-EC483DF40E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb0aa8285f0ca71bad512f517937dc940dfb8db","datavalue":{"value":{"entity-type":"item","numeric-id":1581852,"id":"Q1581852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5385d67a89ff2b1fbd6587bbffcdc4435648099c","datavalue":{"value":{"amount":"+0.7965567111968994","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":"Q4645243$62C32C4E-3185-44EA-973D-92277E9E689C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"336a9d39ec7d7233bb3f3c583802fbb126e5c261","datavalue":{"value":{"entity-type":"item","numeric-id":1127346,"id":"Q1127346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9f13a8a35488852f03745c382e3c81e56101c93","datavalue":{"value":{"amount":"+0.7870315909385681","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":"Q4645243$5F09DF16-BC0B-4DAD-88C7-FEF3C38C6E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bd53f899484812b8e10ce412ca701408b96725c","datavalue":{"value":{"entity-type":"item","numeric-id":4645233,"id":"Q4645233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ed4ca09071d82c02545e44ba1eae96514de50a1","datavalue":{"value":{"amount":"+0.77786785364151","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":"Q4645243$03D5D94B-0A10-404A-859C-AC3D4E21119A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4645243","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4645243"}}}}}