{"entities":{"Q2118304":{"pageid":2129047,"ns":120,"title":"Item:Q2118304","lastrevid":43521106,"modified":"2025-07-30T13:45:38Z","type":"item","id":"Q2118304","labels":{"en":{"language":"en","value":"DiMo -- discrete modelling using propositional logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7495577"}},"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":"Q2118304$1712CD05-88B1-4CA9-9805-DE85BFBBEAAC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9458780cfd38b15d8c85465a54d8706a793c56d","datavalue":{"value":{"text":"DiMo -- discrete modelling using propositional logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2118304$1B16A116-AAC5-4213-93C4-B0D12159C9C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6cff6a933f5ca086c595045789ca00e4e3314fc","datavalue":{"value":"10.1007/978-3-030-80223-3_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118304$84C1B7D8-96AC-4FA5-8E76-A26E51442568","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0e5c5fc848d568621d8bd53077c01095ad03bba","datavalue":{"value":{"entity-type":"item","numeric-id":493654,"id":"Q493654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118304$2533AD9C-52EA-4AAA-A6B3-934617198F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e9395c4897e056d54eaef255c0b18eeb46bea27","datavalue":{"value":{"entity-type":"item","numeric-id":386036,"id":"Q386036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118304$6169EE90-04EB-4A22-B372-8B9392006737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b8997006155c0a8a0501b9a5f121a0199a76677d","datavalue":{"value":{"entity-type":"item","numeric-id":2118303,"id":"Q2118303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118304$71136F32-D277-4014-A332-22C7667E2086","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39b1515277af1c7c28c7fc6f6f97d2379899717d","datavalue":{"value":{"time":"+2022-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2118304$F05A74F7-71FC-402A-9F96-E623138E62D6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118304$20F5EFED-3ABA-4D94-9389-818B45733982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118304$9A6B2DC2-2E9B-4AE2-B8E2-837A20B94EB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118304$6521CEFC-1520-4377-BD78-7DD0B91C5323","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00823bdec6e8279d6840c2e480606ef6f2126c46","datavalue":{"value":"7495577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118304$7BD1D65B-6471-4169-80F1-3428D797DE36","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":"Q2118304$6333433A-55B8-4A4B-BD55-81068220E1C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d9d74c8121a4ede56090823f9c680da776abdcf","datavalue":{"value":"https://doi.org/10.1007/978-3-030-80223-3_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q2118304$E171FAEA-FAAE-4E9A-A059-78967C462C26","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"397eea59f05f31bfaf4f605a19fa96a432b141dc","datavalue":{"value":"W3186595753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2118304$89D0B97E-E421-4983-ADFF-7F37DEC45556","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118304$588E6D8C-8A59-4AAC-99C3-09BD52924CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82150f8943cff7ecd2cd54c7abc4f2a3d8b84f08","datavalue":{"value":{"entity-type":"item","numeric-id":1977757,"id":"Q1977757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118304$D58BA58B-0C23-4B66-B1CB-4D29D3B2064B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6b871d25a3f2bcc10ef5d12d2a6df59054c7c5","datavalue":{"value":{"entity-type":"item","numeric-id":5604434,"id":"Q5604434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118304$62542D8F-1D38-4FB8-8196-F501FEB21923","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2118304$EE1E40CF-BEB9-4B76-8D72-E563C90AA1BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2758127a543c259f405637036145bc5c8d72d368","datavalue":{"value":{"entity-type":"item","numeric-id":3348900,"id":"Q3348900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e20edd675f5f4dc6311b7e0f9507eb1ee01a5b4d","datavalue":{"value":{"amount":"+0.89113396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2118304$67E2483A-9020-47BA-BAE2-67E4B67FCF10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2f87e3dab5d140aec91f4ceb5699d4c0d102bae","datavalue":{"value":{"entity-type":"item","numeric-id":1183594,"id":"Q1183594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"205864c9b44b61420f2b97b002dc8667e7ba1203","datavalue":{"value":{"amount":"+0.8640782","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2118304$84C344DF-9E64-48B9-90B8-E6EFF3A201A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b358b2349fe3dc11d5c48f15594abf3834aee89","datavalue":{"value":{"entity-type":"item","numeric-id":1924819,"id":"Q1924819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09998fcf47bf288975a68b5476f915e405b0c288","datavalue":{"value":{"amount":"+0.8616324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2118304$BE224253-7CE0-4B69-BC09-4C35D44AA6D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c45ff24549b7a48e9c056967e87cfbfe440b8348","datavalue":{"value":{"entity-type":"item","numeric-id":3510439,"id":"Q3510439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"842bbabbdc44c9a17b6bf41e4dc5717aa9810faa","datavalue":{"value":{"amount":"+0.85709065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2118304$119AC3DD-9E2E-450B-93FD-64F51F68B42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da4ace7fbf0478b377ab2aae28b34dca29e8518b","datavalue":{"value":{"entity-type":"item","numeric-id":4352541,"id":"Q4352541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7822bd9e51bd63168c91571f03ebf06e11d82ef5","datavalue":{"value":{"amount":"+0.8536448","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2118304$6C445FF6-DDF5-44A2-833A-8D9B58C26557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be2be4e378b0b9adfe000a3d89b43c2311b96598","datavalue":{"value":{"entity-type":"item","numeric-id":1368240,"id":"Q1368240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69a80cda8305daa7746e063756c2cc13b98ae999","datavalue":{"value":{"amount":"+0.8527636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2118304$444422A2-9991-4C74-8730-867CF859BADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02df4384e19a4185c5f0fe9afa06e878ee3230d8","datavalue":{"value":{"entity-type":"item","numeric-id":5425397,"id":"Q5425397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eb57f94cbb231f8a401d787855c72fa94fca934","datavalue":{"value":{"amount":"+0.85028946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2118304$833FAB96-43EA-4F6B-9C37-0665D13E55E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4827ad7d3ece97e8e4313684e6d8f53bbb054976","datavalue":{"value":{"entity-type":"item","numeric-id":4375823,"id":"Q4375823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8967673d463f80319db704a010136875564f0e60","datavalue":{"value":{"amount":"+0.8493593","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2118304$F029B19A-1888-4E45-B270-63CFC75CFF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89927668b434b3b959592983b72cd03b824d017d","datavalue":{"value":{"entity-type":"item","numeric-id":4707748,"id":"Q4707748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc9969149cfe0823e9f366a6ee5c570170654dc4","datavalue":{"value":{"amount":"+0.8464149","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2118304$F18DAC46-664B-4C79-B280-B69002BA7559","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2118304","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2118304"}}}}}