{"entities":{"Q7004096":{"pageid":21527550,"ns":120,"title":"Item:Q7004096","lastrevid":83031650,"modified":"2026-05-07T02:37:22Z","type":"item","id":"Q7004096","labels":{"en":{"language":"en","value":"Computing minimal unsatisfiable core for LTL over finite traces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8020806"}},"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":"Q7004096$C770C0A7-FAF9-4A63-BC4E-FB432FC7BEEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce2680d0bd8ecd0f28f2dad435fb34b7b26c2e16","datavalue":{"value":{"text":"Computing minimal unsatisfiable core for LTL over finite traces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7004096$949B2479-B848-42B7-886A-946C280CC9AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4836f680a89cfe7b43b2ba08299af482b45f2086","datavalue":{"value":"10.1093/LOGCOM/EXAD049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7004096$98265003-96DB-44CB-B02B-C00051570920","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8ff350b8d92a23e2e2c3b7004a44aac552f15a2","datavalue":{"value":{"entity-type":"item","numeric-id":5259934,"id":"Q5259934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004096$82F6A699-B1F5-4906-892C-764823EC3738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21451ac05e0644596b889f200010667381bec473","datavalue":{"value":{"entity-type":"item","numeric-id":7004095,"id":"Q7004095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004096$7E6854AC-9DA0-4AAE-95FD-2855449EC43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16f231cada87b9151a93e65c8676115d2a4c7d69","datavalue":{"value":{"entity-type":"item","numeric-id":449534,"id":"Q449534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004096$AB68B48A-83BD-4DD8-ABBB-AD4ED733DD39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82832e6ead7fd0129a06a766786f66a3d6aee0bc","datavalue":{"value":{"entity-type":"item","numeric-id":1707338,"id":"Q1707338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004096$D9FAA9C2-9861-4DB9-8828-04F1485D06B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fe611c690752c6a6c303fdbaddcfcbb7db52148","datavalue":{"value":{"entity-type":"item","numeric-id":619565,"id":"Q619565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004096$459644A3-5966-4DA2-BE76-2C24A503298B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3edc0cce63d0e3034c92c1e4fba96e1e9227797","datavalue":{"value":{"entity-type":"item","numeric-id":5200479,"id":"Q5200479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004096$B33BE091-97D4-4404-B00E-F018323C994B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004096$173C67EE-3936-48F1-B4D4-CC872957B7CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e6932eced7a8e5ec128f3e4abcdda6901995d2a","datavalue":{"value":{"time":"+2025-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7004096$C87E6C8D-00B2-4312-9D61-0D8592521283","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7004096$2EC57393-52B7-425C-B4B7-FF37EA002EE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab67a168ae9f3cb68a6c78c2352538287bb83502","datavalue":{"value":"8020806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7004096$605DEBFA-7785-4770-B2AB-465DDEB5BED9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"813c18a50e81262d0e58384a65ec01cb81da3cd8","datavalue":{"value":"minimal unsatisfiable core","type":"string"},"datatype":"string"},"type":"statement","id":"Q7004096$1DBB1A82-01F2-4F50-BF49-E102041E8F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"153dc9e39aff47e9c22efb315050f98b4143d0c9","datavalue":{"value":"linear temporal logic over finite traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q7004096$CFC14E53-361C-4A3B-874A-46E4F6152802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"493fe7b77851a8b7382d915d02e241c97a917aae","datavalue":{"value":"Boolean unsatisfiable core","type":"string"},"datatype":"string"},"type":"statement","id":"Q7004096$AA22BAB1-EB7C-4965-87BC-567ABECC23A2","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":"Q7004096$300073DA-1AF4-4F3A-8B22-9FB89A9B52C4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"692f33298e12548a7de121e9b379ab5a875cd0fd","datavalue":{"value":{"entity-type":"item","numeric-id":1383350,"id":"Q1383350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004096$5F5B3B46-9D4A-45F9-97BE-8814FD23496F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"191734449ceba4bc2a76e944da27595387f6a747","datavalue":{"value":{"entity-type":"item","numeric-id":3194802,"id":"Q3194802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004096$B17C74BB-C26C-457E-A088-35192D1044F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"212915fd370f63215c162b6371370a744ceeadf1","datavalue":{"value":{"entity-type":"item","numeric-id":5429344,"id":"Q5429344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004096$C5839C10-C801-4E5F-BA60-84702F623AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004096$BA7A8631-2497-4B82-BCFC-59891DDEA083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2791adf62fcd6917e0cfb6ca40d21416a8677a76","datavalue":{"value":{"entity-type":"item","numeric-id":5738910,"id":"Q5738910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004096$CE7253AE-69A9-47C7-9438-1C7B3FC72262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b41054324accda6052718745be74c36c3bc0fd8","datavalue":{"value":{"entity-type":"item","numeric-id":433349,"id":"Q433349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004096$00A18703-6C20-460F-B7F9-46082C628C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f7e8fd852c1edcb38ef134b0b76899ff6e40844","datavalue":{"value":{"entity-type":"item","numeric-id":2327515,"id":"Q2327515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004096$B8DE846E-6D76-4006-AE6F-A416FE2E4575","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing minimal unsatisfiable core for LTL over finite traces","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computing_minimal_unsatisfiable_core_for_LTL_over_finite_traces"}}}}}