{"entities":{"Q4032915":{"pageid":6062648,"ns":120,"title":"Item:Q4032915","lastrevid":55230718,"modified":"2026-02-05T02:35:54Z","type":"item","id":"Q4032915","labels":{"en":{"language":"en","value":"Temporal predicate transition nets\u2014a new formalism for specifying and verifying concurrent systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 164993"}},"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":"Q4032915$A49FAF54-06D2-44FB-AE5E-87F5738AF823","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"36b6eca164008a3d20e57527c5070966dbad2144","datavalue":{"value":{"text":"Temporal predicate transition nets\u2014a new formalism for specifying and verifying concurrent systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4032915$CBF3B59A-F46A-4D68-BD05-ED048E415F86","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3fdf38824059e10405e18ab012f0cf37dbe18479","datavalue":{"value":"0796.68163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032915$1E2688D4-CB54-4FF5-9A6F-12EAD8E95B8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"967dfb58f4edca630ef02222e447c1371a6408de","datavalue":{"value":"10.1080/00207169208804127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032915$A26DE550-13F4-47A9-913B-7046880C92C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79d586cc23a78ad0d31b0e11f7c375eaebea7981","datavalue":{"value":{"entity-type":"item","numeric-id":916412,"id":"Q916412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032915$5CA40EDA-41BD-4CD6-BC60-BDC9B389C07E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1f8a1cf422dc8a39955e3a7180ef4ce8229538d6","datavalue":{"value":{"entity-type":"item","numeric-id":2710741,"id":"Q2710741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032915$1CC20698-FED7-4347-A472-ECB71EC3AF98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4032915$2E7CAE82-AE53-428D-84FB-EE8AB50F33A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032915$708480BD-591F-42B5-A574-548DB6B78A5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032915$EC4325C3-3ED7-4DF6-BC94-7CD62B89C40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032915$B0F3B393-8517-4393-840A-A76786C74873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032915$BA6D7E16-F8DB-497A-98C3-25DD56D818E0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c93eb77610138c90873391d1e1010a863899fae","datavalue":{"value":"164993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032915$55B7ABC7-632F-46BF-89BE-D19CD25C1516","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea85a80f56b36c77d21d0a1d5e9f5988ea1c96e6","datavalue":{"value":"high-level Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032915$5CBC6B1C-AEE3-4C84-A7E9-3867A953AA12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b747a2dfa9e9eb1142b01f0900d3b895e4e88d4e","datavalue":{"value":"predicate transition nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032915$9BEC7121-35C7-47B3-97F7-6F2351A108A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032915$ADAF0B82-374B-47F3-B371-D4DA5531F232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032915$51CA4C48-0A14-4CE5-B2CB-1A4A1369B689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032915$CCE0C03D-F6EB-47C0-9550-3A6E24E329B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7bfb923eb8ccce9882476d98309ef82969d2df52","datavalue":{"value":"dining philosophers problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032915$1F05DF16-8813-4312-8D0D-70BDC3020DC5","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":"Q4032915$2AE4E922-4195-447F-AE91-74501AFD1F4A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4ec0e2d7857ad5f290a3d4e6573da479bc32dab","datavalue":{"value":"https://doi.org/10.1080/00207169208804127","type":"string"},"datatype":"url"},"type":"statement","id":"Q4032915$2B3A9C1C-65AD-4B28-B135-52FCD520C14C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"512d1722476b8998ffb6ad49cabfc34ae067c300","datavalue":{"value":"W2017513308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032915$E37EB028-04E4-4F19-BBEB-A17EAADA6015","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d54491595e65959f8d244ef05788109027ac1e12","datavalue":{"value":{"entity-type":"item","numeric-id":916414,"id":"Q916414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032915$B9491234-F74B-4BBD-AE52-78AB42F1296D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20d7319e8d1c137de845d5ac33cc992644f5e318","datavalue":{"value":{"entity-type":"item","numeric-id":1149777,"id":"Q1149777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032915$21CE39F5-BCC6-4555-8A50-B2626A510D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec3996c14b206674e33c3ff3678191b3d324529","datavalue":{"value":{"entity-type":"item","numeric-id":3922144,"id":"Q3922144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032915$731ADFA5-1FDC-43D2-BAA5-1C02532A94DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e94fc796d6281ef35fac1f629eb9ac4a5b3b29c","datavalue":{"value":{"entity-type":"item","numeric-id":3474286,"id":"Q3474286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032915$6762AF01-B47B-4238-9566-0F7DA8FB0159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e5b36bc29ceed97d7f7df9301741351cda0737","datavalue":{"value":{"entity-type":"item","numeric-id":1104913,"id":"Q1104913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032915$5CE22EFB-A4DC-4E2B-BD21-895638B69B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032915$7E5DE34E-CBF5-4777-B527-C9E253C93F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b68d01684c688b76f9852f57744d277bca068de","datavalue":{"value":{"entity-type":"item","numeric-id":3321433,"id":"Q3321433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032915$00723D05-C0BB-493E-8359-FB4ECAB49D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a4c5050a494dd7e6d32ff104f203d913557bb7","datavalue":{"value":{"entity-type":"item","numeric-id":795497,"id":"Q795497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032915$719BB633-4035-44A3-8EF3-E2BCFAB74E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deb20340dd9cc4c7a1544049413a07d2685bf85b","datavalue":{"value":{"entity-type":"item","numeric-id":913499,"id":"Q913499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032915$B529BC9D-6E4A-4ADC-96D1-CAFB240CBDD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d69a5f408b3c717896a47c339cf6b872654facf","datavalue":{"value":{"entity-type":"item","numeric-id":916414,"id":"Q916414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a177b92d2c38e0e88c4119a428f3066f5f67d522","datavalue":{"value":{"amount":"+0.9018930792808532","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":"Q4032915$E594377F-DD76-4CD7-AEC9-16AC8A0417F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96387e7e6fa017d89347a011847cd77dabf662ea","datavalue":{"value":{"entity-type":"item","numeric-id":4226631,"id":"Q4226631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"004e4fe939b56e3371504231f2c56b4d89f2a11b","datavalue":{"value":{"amount":"+0.7799640893936157","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":"Q4032915$12912926-3A5E-465C-B42F-5415A97E6C04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc30b046608f46ffef3579d281b6d8851de4213e","datavalue":{"value":{"entity-type":"item","numeric-id":4633163,"id":"Q4633163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07ec6aeb7172db9238e662694feddc886e15be6a","datavalue":{"value":{"amount":"+0.7651905417442322","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":"Q4032915$5F238F82-CA53-4BE7-920B-15ACCCDBCC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f63d6f90cf0d938dba0661a7cf2624164c90c0c7","datavalue":{"value":{"entity-type":"item","numeric-id":1936232,"id":"Q1936232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"298ce7320655025cf145d0692c2d9da6b1694a80","datavalue":{"value":{"amount":"+0.7643336057662964","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":"Q4032915$A5F6B2D7-49A8-4361-9EF7-D4C3AA8D0660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31f1be9c450f4089bd4056700ae81dc4b3fc94a5","datavalue":{"value":{"entity-type":"item","numeric-id":4763987,"id":"Q4763987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d399a494e1908edc727013b3cd9058373d93b577","datavalue":{"value":{"amount":"+0.7589961886405945","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":"Q4032915$76ED4936-7567-4F80-93AC-6DD1A80EB775","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4032915","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4032915"}}}}}