{"entities":{"Q5014803":{"pageid":7044380,"ns":120,"title":"Item:Q5014803","lastrevid":58399668,"modified":"2026-04-05T01:25:08Z","type":"item","id":"Q5014803","labels":{"en":{"language":"en","value":"A proof theory for model checking: an extended abstract"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7441262"}},"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":"Q5014803$BA3573CF-544B-4A66-924B-22AEB9AD9259","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd842812e02763a9c7b2b2db9b4546fa3bc727a5","datavalue":{"value":"1483.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014803$7E85F27A-0604-4E36-8FA8-AF74CA49C646","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccb49f81f9e573d7952c75f73cf6bc526d2d2143","datavalue":{"value":{"entity-type":"item","numeric-id":2331069,"id":"Q2331069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014803$1464E70D-1020-452A-8FAF-AC6A06F22377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479aee847d640d3090b268957bfaa9b03ce27ad","datavalue":{"value":{"entity-type":"item","numeric-id":1102281,"id":"Q1102281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014803$A1E68D03-87BE-4720-A52F-01CBCF0B151F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ccea0e72645421785937dbfd645828cb25e2fe7e","datavalue":{"value":{"time":"+2021-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5014803$EF0E1C12-000C-42B1-A09F-07776D0CCE3E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"707fd8f27b5f437f96968a1a585b7cc0fa1b71e6","datavalue":{"value":"https://arxiv.org/abs/1701.04915","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014803$2C602E3B-A582-4C6F-A6BA-31DD8DA1B0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"76a8df9aec404eb761638a089506d70b881814ab","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?LINEARITY2016.1","type":"string"},"datatype":"url"},"type":"statement","id":"Q5014803$E362E02D-2454-48E4-8C92-3CC89ACB0CCB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014803$6B4591F3-C320-4316-BDFE-2B673F8CDCEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014803$287E57D4-5509-4F76-89AC-4A5E28397993","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d35cb9814919db381683926022560eab4eb714e2","datavalue":{"value":"7441262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5014803$F95D754A-D468-44AF-800A-8199BBE65982","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8b05ec686e5cf36ec21c150af705733aeafe240","datavalue":{"value":{"entity-type":"item","numeric-id":21443,"id":"Q21443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014803$84C96695-DB9F-4F28-800A-52A474591713","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":"Q5014803$C4AE9BC2-7388-4EEA-9B28-3AE579845865","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014803$D0CA983B-FA84-4F87-BAF4-6E4E3A2692C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23938ac724ef428ed6e2c33c2b68a4a8459ca240","datavalue":{"value":{"entity-type":"item","numeric-id":3512431,"id":"Q3512431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014803$6C2EFFBD-997C-474A-81BB-A360B317A27A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014803$5418DECF-7096-4AF2-8B5E-9FFB77FE87C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014803$361CA6D6-2B21-4DA3-ACF4-7328F0EC662B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d66518f09c99314187d256b3e54c7fdc6eb07ce","datavalue":{"value":{"entity-type":"item","numeric-id":4006233,"id":"Q4006233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014803$257EEF8E-C6B3-4451-A46E-35EBAB4B7006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c1209407dc1baad9a93aa451c62d32bd97446f","datavalue":{"value":{"entity-type":"item","numeric-id":1899147,"id":"Q1899147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014803$80562E61-CF55-45C4-86F5-B0CBDC184E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d619179deec73e98daca550b5629aea20622978","datavalue":{"value":{"entity-type":"item","numeric-id":1575931,"id":"Q1575931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014803$E9494BAF-2DD9-46DD-B02F-A3653033DA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06ce65b366ea27e58c7fffc25863f35a8053f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5277739,"id":"Q5277739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014803$4BF49BA8-AC2B-4E76-9634-9366E9116F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd006f3345398a4d91af214b14ed05f4807fd835","datavalue":{"value":{"entity-type":"item","numeric-id":2848670,"id":"Q2848670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014803$E414104B-5A3E-4F0A-968C-3673673628E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c34d25a135933d7bf5547de5ec4476805acc9a84","datavalue":{"value":{"entity-type":"item","numeric-id":2946601,"id":"Q2946601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014803$74B3AAD6-2473-49AD-AB38-80136FAE70B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39c8c114ed91e2eb27d97fbae8c341950e41db76","datavalue":{"value":{"entity-type":"item","numeric-id":1948276,"id":"Q1948276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5014803$B8EA2870-178C-4A04-BB29-6BAEC78BB319","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c25855eb84a544d430c53bcfe0477292d6e6d479","datavalue":{"value":{"entity-type":"item","numeric-id":2331070,"id":"Q2331070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe66c41113e019a2cbf80f030eb8ca52df580d60","datavalue":{"value":{"amount":"+0.9627277255058287","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":"Q5014803$ED649F53-361E-40EB-9B7F-8B8CF6DAF7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9d69b7e9dfd277e6b654ff7071d7375079737ba","datavalue":{"value":{"entity-type":"item","numeric-id":4531749,"id":"Q4531749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e592b3f42ef427b2b7676618e9c6f8f3fe34a93b","datavalue":{"value":{"amount":"+0.7580746412277222","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":"Q5014803$29D266EC-4CD1-4044-8B16-49C83DBA16BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6a1754e9f24f53d0ad889d0482f26317c0f3b22","datavalue":{"value":{"entity-type":"item","numeric-id":4501131,"id":"Q4501131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0512919a651745212bc9d26e33802a42a80cff4d","datavalue":{"value":{"amount":"+0.7568904161453247","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":"Q5014803$2332C2F4-90F6-4A99-BAD1-1BD24F2862ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73b8d9f9c69167c8e1d12f03217617f7180032c0","datavalue":{"value":{"entity-type":"item","numeric-id":3434483,"id":"Q3434483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d83d132c320bf7262961389c8ff346fb28ba3c1b","datavalue":{"value":{"amount":"+0.750616729259491","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":"Q5014803$289F5812-A7C7-4C52-AA38-3B64599A0328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd28868fb9e5281dec742e518f016b5bea1547d6","datavalue":{"value":{"entity-type":"item","numeric-id":1122572,"id":"Q1122572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfb0c3b26a5d5e86f726b239393f8a4283cded75","datavalue":{"value":{"amount":"+0.7502116560935974","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":"Q5014803$028553D5-CE70-4DD5-875F-9AB2BEA56E4D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5014803","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5014803"}}}}}