{"entities":{"Q6979918":{"pageid":21382551,"ns":120,"title":"Item:Q6979918","lastrevid":101368571,"modified":"2026-06-06T00:59:56Z","type":"item","id":"Q6979918","labels":{"en":{"language":"en","value":"Inconsistency measurement in \\(\\mathrm{LTL_f}\\) based on minimal inconsistent sets and minimal correction sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8044792"}},"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":"Q6979918$5F5957D0-C544-415C-AEAA-83EF7141F0CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05177f1268dcafcd71f322b461750343c6cedb2b","datavalue":{"value":{"text":"Inconsistency measurement in \\(\\mathrm{LTL_f}\\) based on minimal inconsistent sets and minimal correction sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6979918$F48588F1-E81B-41EE-A8EB-069E6BA5BD58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"838f6c7a85edb34814c0c2b4324ee9c13e5fe739","datavalue":{"value":"1566.68269","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979918$68B95F53-C627-4B98-9308-FF1494A5B626","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a12d94c177f14a7e671650896e3c2e55943903e6","datavalue":{"value":"10.1007/978-3-031-76235-2_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979918$9CF616C7-26E9-44A5-91EE-5B85F2C01220","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e98f36bb177de06ae0496cb16b321af38092538","datavalue":{"value":{"entity-type":"item","numeric-id":3297797,"id":"Q3297797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979918$B75E6C99-7663-4CCC-A1AC-676C2E2856C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4f012c036ce28f3e7d6ac9f3d1c6c22eb7bf487","datavalue":{"value":{"entity-type":"item","numeric-id":785226,"id":"Q785226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979918$DA207C13-0778-4682-AFE7-08C1AA2CD47E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1dee5eef72567f68024f6e6f6a29dae74ed5cfd5","datavalue":{"value":{"time":"+2025-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6979918$FDE32206-E452-4BF8-ACAC-16CCF140FF3E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979918$8FA986CE-1BF9-4938-91A7-CB78462A2352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979918$A1A15B6C-7158-4FE7-91B3-68CC5A0D9B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979918$9C370AB9-BF8D-46F9-86A2-95AA7A1DA34E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6bdb27324bb06f504b2fb444624fbd18382994a0","datavalue":{"value":"8044792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979918$1232945F-3C1E-4108-BCFE-E310296DA645","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"44f9b68b748f7ebcf5f8d8cf03d1eae6f9024f31","datavalue":{"value":"inconsistency measurement","type":"string"},"datatype":"string"},"type":"statement","id":"Q6979918$66CD0ED0-0513-4C7C-A5B6-B3099274C571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6979918$2CF181AE-BC8D-4A7D-829B-4928AC7BFE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb32a9b2dcf8b3a0f429e2af80d5de714d45efbb","datavalue":{"value":"answer-set programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q6979918$C1E86931-8D6E-4C8F-8D09-802D9A4D0981","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":"Q6979918$EE587F67-2B58-4169-8734-1436AC3EA4D0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e0cce9a7ca8bfdbf1c3c7ab24a3ccb8dad9165","datavalue":{"value":{"entity-type":"item","numeric-id":4957196,"id":"Q4957196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979918$F7702D48-7C33-4BEA-9E91-4B90CF39BEAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df38804e67e83fb7ec12a61a5f4e62e40450b6ea","datavalue":{"value":{"entity-type":"item","numeric-id":1924780,"id":"Q1924780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979918$22CA782D-7CEF-4645-A066-51826D2E8465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2473d207993dfdc8afaf57576149968a823d6f22","datavalue":{"value":{"entity-type":"item","numeric-id":6611959,"id":"Q6611959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979918$AB455928-2A75-4F55-A2C7-8B1CC183C0FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45dd8a4dc93b016ae90d166400ff8f558de540e1","datavalue":{"value":{"entity-type":"item","numeric-id":3630153,"id":"Q3630153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979918$9A3157C7-3390-4A69-BD15-1D466BF686B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979918$DA0E75FC-8745-42C4-A361-60284D88F2B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"749ac0f5d1db8c869e47339b17bfc9acdbacc57e","datavalue":{"value":{"entity-type":"item","numeric-id":5156185,"id":"Q5156185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979918$D300C914-D2A5-4894-9A38-4F01904DD257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f461b47fef990c8d07f5c4d6d55312a3a468a53","datavalue":{"value":{"entity-type":"item","numeric-id":5154742,"id":"Q5154742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979918$4BFD758A-C391-4D7B-9F59-CD395E19955C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aceb87db76fe7056b721f5ffc95369a39c69cb0d","datavalue":{"value":{"entity-type":"item","numeric-id":2075379,"id":"Q2075379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979918$7FCDAD95-5AB9-4507-AE7D-8CF4298548B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb70edcce513d68acabe5a8229ceb24800294a5","datavalue":{"value":{"entity-type":"item","numeric-id":7028687,"id":"Q7028687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979918$232A45E3-25BB-4E31-879D-1ED75D8E1BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d53ef7c8973b75ab6adb8b20b3ed5f0b7c08efed","datavalue":{"value":{"entity-type":"item","numeric-id":5464031,"id":"Q5464031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979918$50729644-B1FD-4751-AA00-74E253B891DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5358851da4f8fb4964bbdb4dce49453d53e27824","datavalue":{"value":{"entity-type":"item","numeric-id":4576231,"id":"Q4576231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979918$21A765AC-A3BD-41C7-A01B-EF135BC5BE99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770fe6c7d4646221d993872da6ac43faf72c72e5","datavalue":{"value":{"entity-type":"item","numeric-id":6163915,"id":"Q6163915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979918$DEB6A937-8782-484C-A426-F61706EA7EEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fa8989164e5446341bd96329f160a1baedc5357","datavalue":{"value":{"entity-type":"item","numeric-id":6545579,"id":"Q6545579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979918$9E5692E9-EBDD-4A70-B466-4A30557D2900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c95f566cd609be2f98826bda3cf74e0545a27a","datavalue":{"value":{"entity-type":"item","numeric-id":2046017,"id":"Q2046017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979918$869C8B59-60E6-46AE-9607-3F485D1F3AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d835fa459b73410c61bf5c354506b5995c700aad","datavalue":{"value":{"entity-type":"item","numeric-id":272009,"id":"Q272009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979918$E3C2B331-C7BD-4866-BE04-52C49689932C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43e73eadad7694a29cdbc5326249f6adc814f12","datavalue":{"value":{"entity-type":"item","numeric-id":5230475,"id":"Q5230475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979918$7140ADBD-0573-4553-9BEB-7049D7450FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74eba150ae6f42870a14ed6c03004afd5f1a45b8","datavalue":{"value":{"entity-type":"item","numeric-id":459042,"id":"Q459042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979918$CF5C01B7-AFFC-4ED8-BA93-586603397711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fe50e357a881267a204d7b3ff3b156294bcce59","datavalue":{"value":{"entity-type":"item","numeric-id":6161468,"id":"Q6161468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979918$043F10BF-BE8A-4937-8368-8029AA4A5D4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3043584a63fc36f34b1f253742062e5fc8b4f9b1","datavalue":{"value":{"entity-type":"item","numeric-id":1102126,"id":"Q1102126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979918$2FCAB770-A7DB-4C45-909B-3E9FA7410DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bc5ce203e10f028547a546e366d0c8960beeb96","datavalue":{"value":{"entity-type":"item","numeric-id":895515,"id":"Q895515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979918$0421DB83-E0EA-460D-ADEC-51230C86F9C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8a891dfd3ccc68df56d8a061736050c92ee8461","datavalue":{"value":{"entity-type":"item","numeric-id":3297796,"id":"Q3297796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979918$9E1054AE-63CB-42A3-B6B1-41B53434ADC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b34127b9a9bcb38b40732a539fd782fbf5750a06","datavalue":{"value":{"entity-type":"item","numeric-id":2321337,"id":"Q2321337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979918$ADDD3CD6-42D6-48AA-B4F3-F67A46B63138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbb9e850ad94231f7e7705baa4ba21496bd19c85","datavalue":{"value":{"entity-type":"item","numeric-id":3455621,"id":"Q3455621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979918$EEC5CA17-6B8A-4ECA-8DED-DA19AAFBDA7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6979918","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6979918"}}}}}