{"entities":{"Q6535575":{"pageid":14146718,"ns":120,"title":"Item:Q6535575","lastrevid":57576060,"modified":"2026-03-31T11:26:25Z","type":"item","id":"Q6535575","labels":{"en":{"language":"en","value":"Property directed reachability for generalized Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7793113"}},"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":"Q6535575$53234477-94C3-4975-89A7-C31EFF0AB732","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7cbaaae123c3b4967257f45eff5a5f2e7acde6b1","datavalue":{"value":{"text":"Property directed reachability for generalized Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535575$C12252FB-509D-4CDE-8BCA-D906B136FB15","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edf62794b98654bbdebc0bd57caed3225da3b573","datavalue":{"value":"1547.68479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535575$C571F24A-DAB2-4AD4-B364-61F9DB7959CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2fdde192d0787a11c06479fd269ab88740733d4a","datavalue":{"value":"10.1007/978-3-030-99524-9_28","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535575$6EAEDC81-668C-4AFB-9DAF-FFDF8D491FF7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f3c7efebe2f9024c5b6b810fe216f59b71d84d5","datavalue":{"value":{"entity-type":"item","numeric-id":832010,"id":"Q832010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535575$23D907BE-C7D0-43DF-BFAC-C62CA5B57E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c0abdcf23e4efad91f7981d119437b265cc4740","datavalue":{"value":{"entity-type":"item","numeric-id":832011,"id":"Q832011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535575$6FA3C8B0-181B-4005-B828-F342F95708E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d7912b66b573ce26594bd93e05229a12e4d17b9","datavalue":{"value":{"entity-type":"item","numeric-id":1623287,"id":"Q1623287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535575$61F24636-270A-4923-BEC1-C99D181FE2F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7341346045afe491aec3502c1a5c7ebe2712f57","datavalue":{"value":{"time":"+2024-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535575$6050665F-7348-4ECD-9FCF-0B2CF53E849B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535575$7F802D4F-CBE5-42C1-A9C1-2DE988A25724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535575$C8EF1B12-FF7A-40C1-B7D5-DD6FA3741F76","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1cb6f1a2a3a2ed342465f51f8ec801af1f7a7f81","datavalue":{"value":"7793113","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535575$BB7B635F-EA74-4D4C-B677-D9C5F4E9B5E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535575$6D03EB1F-DD12-4896-B6C3-FBDB3E9C97D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535575$5E8124BB-C53D-4EBF-A7B5-96D9D71B2D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535575$D076C31A-A1A3-4100-BEF2-3EE46D57CBDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dac36a0d5bcef050bd5c5ec480998b0eb01458a6","datavalue":{"value":"SMT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535575$8C77EE5A-EFAA-452E-A60E-5F5AF2A6D09C","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":"Q6535575$D59C3C7B-ADC8-4C95-A401-0DC0D43391D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d964a7e8b4bb30f1f720943cf564b811273c7d","datavalue":{"value":{"entity-type":"item","numeric-id":2117166,"id":"Q2117166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535575$295F1A89-D536-43DC-9D5C-FC34BB6E88A7","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":"Q6535575$03BBED1E-4AC3-4A0F-AD0F-01403FE8E8F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5e59694ba693ed2b8af4b0c9c848f2b45a00bcf","datavalue":{"value":{"entity-type":"item","numeric-id":4817533,"id":"Q4817533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535575$AEC64647-B2B9-46D9-A622-BE1B6AC0199D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1be6849f96f7ca7876855e35c705d38615a9e1","datavalue":{"value":{"entity-type":"item","numeric-id":2233488,"id":"Q2233488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535575$7F65F449-FED0-4B98-83F5-20C846C64253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535575$42B661EE-2C4B-4E1B-A413-E9631564B1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc3406683ad00aa9363d90c4954863b73476c44d","datavalue":{"value":{"entity-type":"item","numeric-id":2843317,"id":"Q2843317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535575$0ECE759A-60FB-49F7-A5C6-534A5681F2B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"298af395929cd373ace63122df623c709572df9f","datavalue":{"value":{"entity-type":"item","numeric-id":1685776,"id":"Q1685776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535575$A390846C-93D9-4EF3-A38D-12F85A620E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a721eea058e807770cf825065bd252a7ab7056d","datavalue":{"value":{"entity-type":"item","numeric-id":2363814,"id":"Q2363814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535575$791CD5A9-371F-43D7-BA10-991E51D89307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64bea33521ecdb5b888af5771509d9c6124d3eea","datavalue":{"value":{"entity-type":"item","numeric-id":5212744,"id":"Q5212744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535575$4E043F96-CB81-42F7-9907-74AD14FE67BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"077765893fb070860b21513f2fa8e7755a88ca1d","datavalue":{"value":{"entity-type":"item","numeric-id":2894293,"id":"Q2894293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535575$8520F921-1DF6-45FB-B518-7ECBEA7F09FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024d06bb45940fc2af3d505ba43ec43cb72b749e","datavalue":{"value":{"entity-type":"item","numeric-id":2920990,"id":"Q2920990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535575$CD40A5CA-D297-4C0B-89B7-59329B61AB82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a3cb581574c97c09b42fa215d2c40a7c7cdb672","datavalue":{"value":{"entity-type":"item","numeric-id":2058566,"id":"Q2058566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535575$2EFBE502-C4E6-4887-984B-C70BBFA2DCD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18cf1df53bd1a33a2ed3a22525f69d2d43c7efb9","datavalue":{"value":{"entity-type":"item","numeric-id":2523032,"id":"Q2523032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535575$ACFBAB06-EAAB-41B9-B399-51202A496E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29a9e63db651327a88d88e2cdc75e51e9cd4afb","datavalue":{"value":{"entity-type":"item","numeric-id":2843329,"id":"Q2843329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535575$9D00BEF1-7043-4AC6-AC50-6B4B8E5FAAFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2295a39fadb08cc159fbd3331bd44f9d19601ea8","datavalue":{"value":{"entity-type":"item","numeric-id":2117187,"id":"Q2117187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535575$17AA19CC-16A7-489B-A5E6-204B69E0429F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00417656310bd7195584e5e2ed711b4b31e012cb","datavalue":{"value":{"entity-type":"item","numeric-id":2786139,"id":"Q2786139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535575$05C1A884-5EE0-4FBC-B803-08CB8EE80C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90c143eb883825240f5cc61fb44abf21ad22bb74","datavalue":{"value":{"entity-type":"item","numeric-id":4126143,"id":"Q4126143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535575$602A2E97-8FB0-4006-A4EA-29435BEE2F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd8fe6f2636c0559b54d88cb9fa59f73dcf70575","datavalue":{"value":{"entity-type":"item","numeric-id":4247289,"id":"Q4247289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535575$9E0A3FF2-3D39-4AC0-BBF8-839AF723DF03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28fcdb9313fc16f0ed4174493ab5b2df5dac1b4","datavalue":{"value":{"entity-type":"item","numeric-id":5100759,"id":"Q5100759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535575$0F93AD28-FF18-46EE-92BC-F652D69B4AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd86270f2d91bea84b2390c8ce6e127c2d21fcb9","datavalue":{"value":{"entity-type":"item","numeric-id":5894959,"id":"Q5894959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535575$EEF4B50C-BAAC-48E3-AF00-569CD25BB314","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea8707c047412bfb176c21830bc845a2a6e4d6bc","datavalue":{"value":{"entity-type":"item","numeric-id":2233488,"id":"Q2233488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb7119b4605ec4e76eb7cf9d36c8e86edd367d8b","datavalue":{"value":{"amount":"+0.8004710078239441","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":"Q6535575$C6366684-5AEC-4786-9921-1C3A26EA53AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c7d9fadd5b238c12526b64df674af1a310a9d17","datavalue":{"value":{"entity-type":"item","numeric-id":5044397,"id":"Q5044397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"305f9f605e1871a1e3bae7516617659aa9520027","datavalue":{"value":{"amount":"+0.7878775596618652","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":"Q6535575$66BFFCF9-E2F1-4833-A356-9A8B05FEA94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"386b2dc6dc68caef3cba16f71ed336c71307bbef","datavalue":{"value":{"entity-type":"item","numeric-id":784143,"id":"Q784143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a7890592ff8bc14374d66be44d2ec1fee384dde","datavalue":{"value":{"amount":"+0.7747750878334045","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":"Q6535575$5FEA3A60-EDF2-46B9-B7B7-5D1909E0E0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"866791785f510bb82cbc4809360e45214f7927e9","datavalue":{"value":{"entity-type":"item","numeric-id":5712340,"id":"Q5712340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2197a51d5db994995638425ab881c963c9e03eb9","datavalue":{"value":{"amount":"+0.7646185755729675","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":"Q6535575$4172C6CF-0FDA-4198-AD0D-703C3FE4FF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3223d66c1b00bcc1584a98fbd81c480717817311","datavalue":{"value":{"entity-type":"item","numeric-id":3447710,"id":"Q3447710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"539b7b27e6d73e77eb3ebb3334577d90ed4a15ee","datavalue":{"value":{"amount":"+0.7641676068305969","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":"Q6535575$9928F2B1-668B-4E9D-9434-315FA10C1D81","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535575$3B7DF900-F6EE-4D54-AE3D-AC2A968FB870","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535575","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535575"}}}}}