{"entities":{"Q4671274":{"pageid":6700855,"ns":120,"title":"Item:Q4671274","lastrevid":82330589,"modified":"2026-05-06T20:38:54Z","type":"item","id":"Q4671274","labels":{"en":{"language":"en","value":"The tool TINA \u2013 Construction of abstract state spaces for petri nets and time petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2161382"}},"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":"Q4671274$5A1ED0AB-15DC-47CF-8A98-B817ACE93FB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"87b4c77d604ac741a8ca7cb3af310b3b8f35cc4b","datavalue":{"value":{"text":"The tool TINA \u2013 Construction of abstract state spaces for petri nets and time petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4671274$75BF3003-1EB0-478B-9DC1-80571D00E803","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"45e97d1d172350096929d3fbcacad29c53112014","datavalue":{"value":"1060.68695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4671274$F056B57B-1D79-42E5-96A2-38CF630F1EB1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6071675c477abc8444804303e4d2c8ead8a8925d","datavalue":{"value":"10.1080/00207540412331312688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4671274$52B07E1F-8711-4124-9516-4B4B9D1A6C46","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":"Q4671274$77239064-D3D6-437E-BC9E-4B28F7C9F417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd3c91b2746c1d410ff75639ac459928a8f83f01","datavalue":{"value":{"entity-type":"item","numeric-id":4422089,"id":"Q4422089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4671274$5E30CB38-8B61-4B43-A144-3D965218614B","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":"Q4671274$AA2BED60-BE81-4B2C-8797-75536C95C8B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"673da1f53d0d4eb4db6096d165970be2c2fb33e2","datavalue":{"value":{"entity-type":"item","numeric-id":80750,"id":"Q80750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4671274$F43CF371-62E3-4168-B7F3-807159CD84DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8bd7aa4c6034cfe1bb6e6611944321cf5fe76816","datavalue":{"value":{"time":"+2005-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4671274$8B036D85-64BA-4B3E-ACD7-9379BF7A6772","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4671274$A2280A8E-B10F-4460-9B07-A9157A199389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4671274$647FB6FB-EB09-47AD-A9D6-D5246A834587","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15e312a719874270e528df3eb116952ec5c84c8b","datavalue":{"value":"2161382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4671274$A1FA77C1-144B-4B31-8E8A-2FC707A8EE0E","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":"Q4671274$72B6BF8A-AAEE-4C46-8FAB-D4A997AD468E","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":"Q4671274$BE5A25C0-6845-40DC-ADA4-35EB6C484D3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"71fa784687d8c86397e04e9a3346241a203f464a","datavalue":{"value":"https://doi.org/10.1080/00207540412331312688","type":"string"},"datatype":"url"},"type":"statement","id":"Q4671274$335F2E5D-7EA7-47B3-8882-682E2466F25E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"546c097920f78769e8995ca78dc387e752bdcc77","datavalue":{"value":"W2070996046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4671274$E7E3AD19-D6C4-4C4B-B2EB-562F72447880","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e6c65b0378ba4e575d0f710131146d59e647cc4","datavalue":{"value":{"entity-type":"item","numeric-id":2733893,"id":"Q2733893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4671274$EED53F14-9EA3-497F-8310-3AE55FC9D218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4cb6e9c0b46157901d6782f85c0164bfbf3d86","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4671274$52CA35AC-6BB7-4B8C-9840-C7772C52696C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4671274$D2D3B789-8B19-48D1-A668-BAB289FF0DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44538946fe811cf0187b1e06bec804c9dc495d8f","datavalue":{"value":{"entity-type":"item","numeric-id":4136583,"id":"Q4136583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4671274$83842EAA-C2E0-44E4-9F4C-FAA8A8E1FCDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4671274$3345A027-A17F-4C3D-A44A-37CC15FC6F1C","rank":"normal"}],"P1643":[{"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":"f86843592013173ae79f423dfbf1ddce4ddbd908","datavalue":{"value":{"amount":"+0.814487099647522","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":"Q4671274$52798346-5C13-4975-8975-FFF2886E85D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad4b96d19e8e976874d5e1893b6fa6973eb2c5fa","datavalue":{"value":{"entity-type":"item","numeric-id":4535175,"id":"Q4535175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ac32c081f62e92a6d55e93c02e0dd32f7a8e391","datavalue":{"value":{"amount":"+0.813957929611206","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":"Q4671274$7B0AB547-73EF-4734-9C73-93FE37953335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a583667d76ba9508f1984ae3f59126996e0ce7a","datavalue":{"value":{"entity-type":"item","numeric-id":5476391,"id":"Q5476391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a20157c80f0384c4bb9b93a8d71194c8ef42903","datavalue":{"value":{"amount":"+0.8045498132705688","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":"Q4671274$6DDC4575-793A-4598-B9B8-619641326DB1","rank":"normal"},{"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":"9e2e134c5ac771c6eb4c0976e2cec6f9d201d650","datavalue":{"value":{"amount":"+0.8018872737884521","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":"Q4671274$08AB0DB5-4A94-45F5-A87B-B58FB2469BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7687835d26679273d5d98eeb271460e74ff1ee33","datavalue":{"value":{"entity-type":"item","numeric-id":3437252,"id":"Q3437252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92e130166dd911528886e4ac3b0052e63934aa26","datavalue":{"value":{"amount":"+0.7964599132537842","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":"Q4671274$F33A51BF-3315-4103-B0BA-6F5EBE672C4C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The tool TINA \u2013 Construction of abstract state spaces for petri nets and time petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_tool_TINA_%E2%80%93_Construction_of_abstract_state_spaces_for_petri_nets_and_time_petri_nets"}}}}}