{"entities":{"Q4508304":{"pageid":6537897,"ns":120,"title":"Item:Q4508304","lastrevid":47510359,"modified":"2026-01-01T22:50:30Z","type":"item","id":"Q4508304","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1512619"}},"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":"Q4508304$4F0FCBED-B1AB-4478-8369-E75F592185EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"440358492e4fab4fc8a309c13c3c2a225c2dc0db","datavalue":{"value":"0961.68071","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508304$E4E13265-15E5-49E3-A62B-92450256EE94","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"109a2c1db1a35b8bca53c181e382a5e53b01a8c0","datavalue":{"value":{"entity-type":"item","numeric-id":348725,"id":"Q348725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508304$4FFF520D-D966-4785-AA80-10A11053C6B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"415e1aad6a37985b7be56fd12352d0f38940dec0","datavalue":{"value":{"entity-type":"item","numeric-id":225081,"id":"Q225081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4508304$5A81E51A-F167-4701-9080-9B54E63C60BB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1197f4709d23e03f650c941d8cf07bc927e0c1a9","datavalue":{"value":{"time":"+2001-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4508304$6CACE5AA-EC3B-455B-BBD7-0DF079BC4B19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508304$9ADE13B8-F681-49B3-905E-513667571D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508304$0B3353B5-70BD-4974-8F1A-EBF7AC1E51FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d455515cafc57050683db3b2f6ec5e744fb295e6","datavalue":{"value":"1512619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4508304$4C259BF3-F33D-49A0-BA9A-46936981F0AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508304$1FB0ABBC-60DD-43D7-A484-4115D499575B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f17b331e4f7ee852a12a6a6e7e5582ee50b11e6","datavalue":{"value":"symbolic timed bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4508304$C23BFF75-A613-4744-BA63-31D82FFD59E9","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":"Q4508304$D5BC4BEE-81BC-414D-822D-E9AF365E88C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ccfd046a92a4ddabb1864ef0107d9abff346ff3","datavalue":{"value":{"entity-type":"item","numeric-id":4472451,"id":"Q4472451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b4d02a47ad87622f1e819b18e2e9b5e64daf1a0","datavalue":{"value":{"amount":"+0.8853206634521484","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":"Q4508304$084C005A-FFE7-4E91-8951-67AECCC5D534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf3713ab19c69ba72c4fa21353c1dab30c48e96b","datavalue":{"value":{"entity-type":"item","numeric-id":1608937,"id":"Q1608937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6252f18bcbe9d72b78271629028f53b1692189ae","datavalue":{"value":{"amount":"+0.872054934501648","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":"Q4508304$2D026B3D-3A60-4ABC-9CBE-9711461467CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14006c5fc1c2445fc179a31a15044d44366abf6d","datavalue":{"value":{"entity-type":"item","numeric-id":5890048,"id":"Q5890048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0aa46eea72f468823df76c4d12c099870f6756f","datavalue":{"value":{"amount":"+0.8109555244445801","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":"Q4508304$1A385CDA-65AC-4EAD-B1C1-A39D2DAD4977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bbeb0469e8ff83022992506ae6dbd94d9cec72","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d0cec9c1a53de9d570d6987fd0f69b1f13aabd9","datavalue":{"value":{"amount":"+0.7831356525421143","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":"Q4508304$B554A20E-4AA6-467A-BB8D-07E101B92FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0d42d058d6ab44963e1d92b6f03120fc29ffb5","datavalue":{"value":{"entity-type":"item","numeric-id":1923088,"id":"Q1923088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6b24658cf878d7b280a04446c678cee7c36255e","datavalue":{"value":{"amount":"+0.7817310094833374","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":"Q4508304$C522F3EC-AED9-408E-86AA-AF45EEB6E05E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4508304","badges":[]}}}}}