{"entities":{"Q3510821":{"pageid":5540725,"ns":120,"title":"Item:Q3510821","lastrevid":50400701,"modified":"2026-01-13T23:36:18Z","type":"item","id":"Q3510821","labels":{"en":{"language":"en","value":"Model Checking Bounded Prioritized Time Petri Nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5297060"}},"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":"Q3510821$2B53CE02-D269-480E-9768-75F5512F75B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b860ac3e758faa682906c9923ef8ae5d34ff24a","datavalue":{"value":{"text":"Model Checking Bounded Prioritized Time Petri Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3510821$DA632A5E-865E-4011-9B1F-06BB92306978","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14a111e3b5acce1b286cb91fa0b2efb243fd2ba5","datavalue":{"value":"1141.68451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510821$2F9E52DA-2E83-4FEB-8822-E207E639C0CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff2f03a2b9df7e5bf9d6ee8fdd3d4c04d22bbc13","datavalue":{"value":"10.1007/978-3-540-75596-8_37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510821$EBCDE0E3-883E-4B3C-ADA8-B58FE45601C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efdedec70f2cb7d9472908a9952597b5373f871f","datavalue":{"value":{"entity-type":"item","numeric-id":645043,"id":"Q645043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510821$C44C235C-AF98-4D5C-BB70-43F5063756EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05946d0b80bc5c5d10aac23ff3a3017c66f0c31c","datavalue":{"value":{"entity-type":"item","numeric-id":645042,"id":"Q645042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510821$BE4860B5-65B5-41B7-BF3F-C2FCBC1213C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87ce8993a2ba9b46fa3b3cc6eac3dbff128f14d7","datavalue":{"value":{"entity-type":"item","numeric-id":645044,"id":"Q645044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510821$F3F5D11E-022F-4DE2-A18D-80DBF9ADE2E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510821$0A3D6823-D969-43DD-AC25-1CC163C1F6FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f56be72f9fbb489e432bf17d8b59be96c2fd855","datavalue":{"value":{"time":"+2008-07-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":"Q3510821$B4E6317E-22B3-4AF5-9CAF-97D2B5133B3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510821$9031B415-7B84-496B-99BB-9B94DC678770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510821$12B31226-5EDF-431E-A639-B58245C6D640","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ad000ff001ecf268512c75cb8897c1bf8540d71","datavalue":{"value":"5297060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510821$38FCCAA3-571B-4127-A3AB-61757D3C3CF0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"746d9e55d4e8a97c2b07f745dc060ac8f481dfb0","datavalue":{"value":{"entity-type":"item","numeric-id":15812,"id":"Q15812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510821$582A3388-732B-4C13-B3AB-CC57EFFB074D","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":"Q3510821$831D70F5-71E4-4B81-A6CF-E6D9E040246C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8937d35a412e51e137c590c43fc96c59af70c61","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75596-8_37","type":"string"},"datatype":"url"},"type":"statement","id":"Q3510821$5B5D1AAB-74FE-4736-A515-19CE8A552945","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a5b825de9c80ed7ec6cc8227da3780eb15b0b76b","datavalue":{"value":"W1517759046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510821$0FDE4F3A-05E2-4063-99EC-133C4BEFA125","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5af1966aa97a071d6c9257027b3435c8d88b98f","datavalue":{"value":{"entity-type":"item","numeric-id":5897964,"id":"Q5897964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510821$1225D583-B7D8-4D01-A3FB-72D0D2C706BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa38fcf2eabf9e45b572a847fc2bc9d7405e3c66","datavalue":{"value":{"entity-type":"item","numeric-id":2368992,"id":"Q2368992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510821$C1E81AB4-E2A6-4AEA-A351-F34FFAEDB198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2f17523cb2c22f0c224856a6345e776df2be5d5","datavalue":{"value":{"entity-type":"item","numeric-id":3511224,"id":"Q3511224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510821$59F7E1E0-7328-405D-B9DE-2688792B4938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5774ef1456680181a495ccddbb48627134ba228b","datavalue":{"value":{"entity-type":"item","numeric-id":4671274,"id":"Q4671274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510821$5ADEA8E0-9367-4BAB-9C6C-55EE53DCDEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ffd03e4de095dd3953367c465e489c06b39e10f","datavalue":{"value":{"entity-type":"item","numeric-id":4417948,"id":"Q4417948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510821$AB33C15D-02BF-4DF2-9F29-766756D67F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e54043816629eec0c9d9ab0ec2690b40243fb22a","datavalue":{"value":{"entity-type":"item","numeric-id":3511228,"id":"Q3511228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510821$59DCD6E1-80DF-4487-B97A-EFF52DEBB536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df88deba1fd501c987792fac69c41f2e917e8f2b","datavalue":{"value":{"entity-type":"item","numeric-id":5311294,"id":"Q5311294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510821$185EC58C-845E-4820-A2E0-E0E8437116E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b36f90000b4cab45c771516a182e58b06e450fa","datavalue":{"value":{"entity-type":"item","numeric-id":5491878,"id":"Q5491878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510821$709A3030-FFAD-4414-BA0F-CC98D4D03CB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64123a901157b3c6f1f91e8972948756361d9327","datavalue":{"value":{"entity-type":"item","numeric-id":3602751,"id":"Q3602751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da2e7d0e5db96a9255348637fe2c256b0b2a0be4","datavalue":{"value":{"amount":"+0.8384082913398743","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":"Q3510821$5890A0E0-C3DF-4F84-BEE5-4F4328DC4A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d358075e56be23fd0e920738b29b2c3a6dda8d16","datavalue":{"value":{"entity-type":"item","numeric-id":859736,"id":"Q859736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d395895b9d03c7ce2260f8b03f1b4b620567689","datavalue":{"value":{"amount":"+0.8319715857505798","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":"Q3510821$0A9254F2-DD3A-4BD5-B1B9-D5D2E7E726F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfb490f3c2f9fdca310c1dd6b3257f6aff1fca6e","datavalue":{"value":{"entity-type":"item","numeric-id":3511224,"id":"Q3511224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1caa8ba15e5b59943606948dec881886bc25809d","datavalue":{"value":{"amount":"+0.8223825693130493","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":"Q3510821$26583F53-BA43-4147-8E38-E10F96713306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"834196c635c3180744a9bdd44090e6b68122c8bb","datavalue":{"value":{"entity-type":"item","numeric-id":4417948,"id":"Q4417948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a63774c8c227fdb87abcdbe98a41a0a45145289","datavalue":{"value":{"amount":"+0.8209191560745239","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":"Q3510821$6336F19B-0EA5-4999-9832-1A3A62E2B048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b64cbcd0a97ba46d657da392bed5347fb29435d","datavalue":{"value":{"entity-type":"item","numeric-id":3656779,"id":"Q3656779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22dbbc6f423d66c3761171d14a95c2b8d8fe67c0","datavalue":{"value":{"amount":"+0.8167445659637451","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":"Q3510821$7F80C3EF-1C6E-4B1D-8D18-F6A423CA3DD6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3510821","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3510821"}}}}}