{"entities":{"Q1894677":{"pageid":1905419,"ns":120,"title":"Item:Q1894677","lastrevid":69071628,"modified":"2026-04-13T04:25:50Z","type":"item","id":"Q1894677","labels":{"en":{"language":"en","value":"S-invariant analysis of general recursive Petri boxes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 778291"}},"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":"Q1894677$7E0FB394-D290-4B7A-9A0C-1913456E3556","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c41fe97a68ffa91dc84155d4fd300c456fd9933e","datavalue":{"value":{"text":"S-invariant analysis of general recursive Petri boxes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1894677$8D97181D-8251-469E-B203-7D1303D2B4D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56ddbf930df0515841f68270d71a7aededc9f1db","datavalue":{"value":"0827.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894677$060C5D70-8526-44BB-A5A3-26B9B93ACC14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"339e021ba63ce43474248ae6e57750fa061ec58e","datavalue":{"value":{"entity-type":"item","numeric-id":218984,"id":"Q218984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894677$1CEA2199-04E2-47C9-BE96-1D2F7BC035FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1894677$F57889FD-C608-41EA-B376-FFF618B9913C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"561fef158dda690e7f8fb24066d086b7abc285a0","datavalue":{"value":{"time":"+1995-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1894677$4DF18825-0B67-4012-AB45-868AD182B417","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894677$4412E301-70D5-4AA8-8500-D5A279258AB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7bfb057ca1577ede391dc3e88f2996b5c1c82d8","datavalue":{"value":"778291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1894677$35961DEA-AC50-4A01-8A74-30857F2CE4B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83553e0b137880576c3c3c671204ae708b95f0fd","datavalue":{"value":"Petri box calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894677$1CF38C82-63B7-47B4-846C-A69DC84F78E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"244e563882d101019a6cfbfad0c90867519dcc28","datavalue":{"value":"Petri boxes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1894677$497BF18C-559D-4B16-B09A-4067AD354533","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":"Q1894677$2142D67A-11E0-454B-B8F2-5FE810E08DD5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84934904abfc87a57d568064316329bf9783265a","datavalue":{"value":{"entity-type":"item","numeric-id":4281515,"id":"Q4281515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52d2a79e9cf2234b66e0c3152a56106f5fb2461d","datavalue":{"value":{"amount":"+0.87848353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1894677$46A86925-8637-4BCF-A93F-4BF52F50793E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b5388f864d49ea04f7dae1d90f3743c4f22fa2","datavalue":{"value":{"entity-type":"item","numeric-id":2117165,"id":"Q2117165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"025f11bf7612f1ebc2284ba230f42b7e7ce80920","datavalue":{"value":{"amount":"+0.8670971","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1894677$0EB33604-2716-45F1-80B4-3FCE85FAF45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fdf509150dc38893dc70ae295563706af5895ac","datavalue":{"value":{"entity-type":"item","numeric-id":5044400,"id":"Q5044400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"025f11bf7612f1ebc2284ba230f42b7e7ce80920","datavalue":{"value":{"amount":"+0.8670971","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1894677$2BD88E72-9CDF-4C10-BEE6-673EE594DA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ae4372080b044f41436dde87525188236550af0","datavalue":{"value":{"entity-type":"item","numeric-id":5305662,"id":"Q5305662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae0731592bdf8ed3990a53b17096c5750d8ab688","datavalue":{"value":{"amount":"+0.86592305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1894677$7AA741FE-8484-4B95-95AA-19B6A7743117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b81c5230b1ee1e387943c70fc65093dadc47ad8a","datavalue":{"value":{"entity-type":"item","numeric-id":2822661,"id":"Q2822661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75d2429fcb4ace6a8eae31ff48a46c5cf1d8f242","datavalue":{"value":{"amount":"+0.86280215","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1894677$C2FC8C21-3601-4231-95BE-47B0FED9E78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba37e49a8fdca49d8347c8fab3ea488db45ae1ef","datavalue":{"value":{"entity-type":"item","numeric-id":5266827,"id":"Q5266827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"541c2335fc94bf9c2b543141058f1fb9fbb88055","datavalue":{"value":{"amount":"+0.85846883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1894677$23F82C02-7F50-4B2E-9AF8-232C305AB8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76cacd84a9038ace553c5343aa5adbd49395ec94","datavalue":{"value":{"entity-type":"item","numeric-id":4571331,"id":"Q4571331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b905bacb735e7dca090d689103096328a853af9b","datavalue":{"value":{"amount":"+0.85344934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1894677$BFBF2484-AC7E-4F71-A114-5F4AA498DB06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bce3e63703a044847059b3523537122b9e4ee03","datavalue":{"value":{"entity-type":"item","numeric-id":1780238,"id":"Q1780238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06c99c4db351b72726e4d58d493a71a5a08af1db","datavalue":{"value":{"amount":"+0.8510684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1894677$E08308EF-1B80-4968-A860-6EC060CBA3B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbf3face0db0fd134f6132cb9b974ce3bae04329","datavalue":{"value":{"entity-type":"item","numeric-id":5756691,"id":"Q5756691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b3b15fa764c268c3065f16f2858e0fc7a773012","datavalue":{"value":{"amount":"+0.8509327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1894677$9D8D1B78-217A-4FD0-816A-3423C68F2DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d36eb06b50e6f3a5d435f7e771b47f3d2bf515cc","datavalue":{"value":{"entity-type":"item","numeric-id":5713501,"id":"Q5713501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a13a99b1b33da27795dddf77ad5292a524c67a57","datavalue":{"value":{"amount":"+0.8497015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1894677$CFD79B08-52AD-4937-93E3-5C63F538D51D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"S-invariant analysis of general recursive Petri boxes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/S-invariant_analysis_of_general_recursive_Petri_boxes"}}}}}