{"entities":{"Q3623017":{"pageid":5652923,"ns":120,"title":"Item:Q3623017","lastrevid":58228461,"modified":"2026-04-04T07:54:04Z","type":"item","id":"Q3623017","labels":{"en":{"language":"en","value":"Antichains for the Automata-Based Approach to Model-Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5548994"}},"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":"Q3623017$C69E8570-F551-4BF8-A19C-AA3A6764851C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ca7189141d2205646b4af02632d28a6d9570da04","datavalue":{"value":{"text":"Antichains for the Automata-Based Approach to Model-Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3623017$A9121A2F-4673-4508-90BE-DDD669D7BA0B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23f209c98b66412b9ec45141fa73befd1542a2ad","datavalue":{"value":"1164.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623017$7BB7380C-83B8-44C8-878F-1F3A321B28BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d53a971f302a6b3bf3325192d1909c522b9a737","datavalue":{"value":"10.2168/LMCS-5(1:5)2009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623017$B8D49BBA-B7E5-4ACF-9129-9A3E91EEAB48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2b65dbd282c1f97bc4cab6e67d32bfc907f46f5","datavalue":{"value":{"entity-type":"item","numeric-id":528192,"id":"Q528192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623017$A1317E05-AE4A-4C28-981A-564FC3172C5C","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":"Q3623017$D7B58E6C-468B-47C0-9F70-8254A914398D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623017$48038912-3350-4158-B90B-75A141319164","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc7396a377674bf1d1ad6a9c9bbfaef229fcbe16","datavalue":{"value":{"time":"+2009-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3623017$A7C3AE3B-838C-4D9B-97E0-087F6309CEC4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2787a25213974dfe9272198a6de5cd60713a570b","datavalue":{"value":"https://arxiv.org/abs/0902.3958","type":"string"},"datatype":"url"},"type":"statement","id":"Q3623017$7E98F669-956F-4DC8-A7D1-C729BB36B865","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623017$169B50E5-6BDC-4A24-BE60-E0A3E21B8D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623017$23C58EA3-0D32-4F42-B0F2-F9209555C1AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6004d161c424b82cd4a57c3fbcd6eabdf4b81e91","datavalue":{"value":"5548994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623017$DA178EA7-AC04-4B9F-BE46-5E6253B65082","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3623017$C5ECF609-3822-45DA-A786-010AC16C1168","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":"Q3623017$B90CA5B4-8C88-4443-B312-1B5B909271B4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6a91af46e982e476b2b17f1ccc7e9721fad9d3c8","datavalue":{"value":"W2073874233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3623017$BC217D38-9A27-47EF-B3D5-E8E06F8CB3E3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaa4061a8671d6a097ca5aed03088441dd24b8d4","datavalue":{"value":{"entity-type":"item","numeric-id":5756729,"id":"Q5756729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"690252c57d3d10140c94122176ec7bb38d6dacd1","datavalue":{"value":{"amount":"+0.9076948165893556","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":"Q3623017$FB37298F-2A29-4E56-948E-FAA403D50B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027b1caf5829e722c95788c8cb112cbe6f47d831","datavalue":{"value":{"entity-type":"item","numeric-id":5758127,"id":"Q5758127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38911432f433ddf083725d8f717aaedd0c45b64f","datavalue":{"value":{"amount":"+0.9007154703140259","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":"Q3623017$22D9BCA0-743B-4453-BD9D-8304C8F78F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ca69808ca49bbeecb759a32c5907eb7dcb7fc20","datavalue":{"value":{"entity-type":"item","numeric-id":3557062,"id":"Q3557062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88989ace898ea9dc1e970e59fa37dabaac5cb6e0","datavalue":{"value":{"amount":"+0.8759347200393677","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":"Q3623017$A0A57B0A-80F6-4C39-A8C3-BA8F017E7C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fadecc69d4fb9f7de0afa4e41cf4924274dfd31","datavalue":{"value":{"entity-type":"item","numeric-id":3557075,"id":"Q3557075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa6621d1060ba5fdefee7f618b89363aa064b64","datavalue":{"value":{"amount":"+0.8398482203483582","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":"Q3623017$D83A22D2-E934-4B41-A93F-C8B724FAEB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2f7af71a178819ae7d36dd06aefc91832543ef4","datavalue":{"value":{"entity-type":"item","numeric-id":3557078,"id":"Q3557078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"075886ce3cf3f6b4eb6eb063de005a60983e5537","datavalue":{"value":{"amount":"+0.8024352192878723","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":"Q3623017$64D5386C-0844-432E-8B17-8759CFD5E31B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3623017","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3623017"}}}}}