{"entities":{"Q6587141":{"pageid":14198297,"ns":120,"title":"Item:Q6587141","lastrevid":42364926,"modified":"2025-06-13T03:58:30Z","type":"item","id":"Q6587141","labels":{"en":{"language":"en","value":"Pareto-rational verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7896566"}},"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":"Q6587141$AA74A419-2199-4550-AA81-58BBC36329EA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8b15a2bfb29039b51e247edfd9304fd7a9081d9","datavalue":{"value":{"text":"Pareto-rational verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6587141$EB0D33FB-0D3A-4F36-8167-38F76F2905CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99844aba0deee409850cec53537867a00f71d64b","datavalue":{"value":{"entity-type":"item","numeric-id":213200,"id":"Q213200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587141$EDC77F61-B4AE-4487-B8D2-B78E92106616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8e2331a2eb35d5eca04fd9de57145000766bcc82","datavalue":{"value":{"entity-type":"item","numeric-id":453497,"id":"Q453497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587141$79CA60E1-ADFA-4227-913A-655593342DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bf18dd0a42822d104c421b590d44cc722bb8c01","datavalue":{"value":{"entity-type":"item","numeric-id":2330590,"id":"Q2330590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587141$D33A5BA1-486B-4B0D-83F0-1E9F6696006F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ef272fad473aebc084962aae26df5cb18b0f7c3","datavalue":{"value":{"time":"+2024-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6587141$209C25D6-0D02-46B6-8F3C-0F9D8578F0CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587141$44DD4994-1A8E-467F-9CB1-078A0462075A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f5049394406965209d3bdb161e8383c0755ae52","datavalue":{"value":"7896566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587141$00DA6AF4-15DE-4EAA-A188-602F7B4DAFEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c267ac2aa67de11fb7b9e0146b53d1d487492e02","datavalue":{"value":"rational verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587141$9CFDCB24-E856-4F4A-AC80-0E38811CB0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587141$BE5A45DB-44C9-449D-9FFC-4E2A225B539E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"138c03770d765a3831e89b1701d6b6b350f39bb3","datavalue":{"value":"Pareto-optimality","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587141$59F2A9E8-24AD-42F0-9732-9CD4353DDFC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab7dd348f16c130aed77ebe27bf69168f8950a7f","datavalue":{"value":"\\(\\omega\\)-regular objectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587141$D25F4826-1949-4A31-9C5C-64C0CB7E284D","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":"Q6587141$74BB96F7-49C0-4655-BB52-A67E5D9FDE68","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"539aacfc7d54bb5b2d436bebab4a2eca55dba53e","datavalue":{"value":"10.4230/LIPICS.CONCUR.2022.33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587141$E256F980-AA71-4387-988A-678BFCBC7E8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6587141","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6587141"}}}}}