{"entities":{"Q4535180":{"pageid":6564772,"ns":120,"title":"Item:Q4535180","lastrevid":40714878,"modified":"2025-04-04T11:02:47Z","type":"item","id":"Q4535180","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1755146"}},"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":"Q4535180$BB3BB176-E504-4362-9249-9BBD56899BDC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44e0821b0b5f65a93a14940f1e0cbdecd6d378ef","datavalue":{"value":"0986.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4535180$10B0A0EE-C20E-4C7D-801F-09BE039CCBB6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc3d63802dcd3ac1e4433559bd1c461faf8469ae","datavalue":{"value":{"entity-type":"item","numeric-id":4426371,"id":"Q4426371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4535180$5971687A-422F-4D31-A12F-FDAC01DEF316","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"46f7de6e5c68e72e4fbf800a42a75a27b0f09bb6","datavalue":{"value":{"time":"+2002-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4535180$F2E1E38C-D343-459C-8413-03454212C876","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"662b2a7c7d1379f6376b6739aed21182419d4a4c","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2075/20750242","type":"string"},"datatype":"url"},"type":"statement","id":"Q4535180$ECE95B9F-731D-486A-8C86-81921D0121FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4535180$4CBD879A-1D68-4F3B-93DE-1773BCDEBBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4535180$E79E9EE8-6AB2-4B9C-AE1B-392C27440938","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73dcc0ab56940115cce9a34abfd8a648bdafda49","datavalue":{"value":"1755146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4535180$EE623188-17D6-440A-A2C4-18C696E1582B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4535180$1065945D-98B9-462D-8751-47C1D5D1EDF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"636b794da077dcaa1805ce93cc3d55482029d3dd","datavalue":{"value":"fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4535180$7742A588-42C8-49D1-A8F6-BA6FFACECBEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4535180$17D757F2-8297-43E3-9587-E70B69332097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea85a80f56b36c77d21d0a1d5e9f5988ea1c96e6","datavalue":{"value":"high-level Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4535180$0F3B0231-D880-4DE6-89A2-452862D08108","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4535180$6AF89943-AC42-461D-A4B9-4CE2A97011C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ca6f770bb1191c12b22fb9edfc51e5641f798f63","datavalue":{"value":{"entity-type":"item","numeric-id":16557,"id":"Q16557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4535180$B19B5158-823E-4571-9245-3ECA7C216141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4535180$26F8BB5D-A8A7-45B9-B775-58E0BBB009A7","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":"Q4535180$85BC8790-1AED-4621-95C8-42A96B00FDB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f0bf57245873ed04e7ca17af47b5f23528a8b3","datavalue":{"value":{"entity-type":"item","numeric-id":5712335,"id":"Q5712335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea5bed6f5b43a988a8b0778fd8cf4d718f871762","datavalue":{"value":{"amount":"+0.9021322","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":"Q4535180$122DDE54-DB11-46A7-B26A-495E22786799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e3a5f82452a814cb3c6d058f6979f0272ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":1702910,"id":"Q1702910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2eae7389545632d1c5447de50cbeadcbb4272721","datavalue":{"value":{"amount":"+0.9014647","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":"Q4535180$9578228C-C1FD-482F-868B-4CEFA8AA0ED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fb4ae902db54d9b30fb74c9e3de44651650fd95","datavalue":{"value":{"entity-type":"item","numeric-id":805257,"id":"Q805257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c91830ebae14f035d6f3058d3385337abb1101ab","datavalue":{"value":{"amount":"+0.88045645","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":"Q4535180$A3227DF9-5215-4D47-8DFD-F181001B794E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21f65da00b0efe3481470d910bacd493dff14057","datavalue":{"value":{"entity-type":"item","numeric-id":3802633,"id":"Q3802633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c91830ebae14f035d6f3058d3385337abb1101ab","datavalue":{"value":{"amount":"+0.88045645","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":"Q4535180$B715A301-E0BE-4ED9-B8A2-240B7FF04667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8cd4acd385b359ba5ecc1240f849b13d5c8beaa","datavalue":{"value":{"entity-type":"item","numeric-id":3823147,"id":"Q3823147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"394d934b8b93d2bb51160c88dca8f6f9a752be79","datavalue":{"value":{"amount":"+0.8795769","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":"Q4535180$18344CFC-5769-4AF6-9380-5DC5D45FF75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bd75637ebf242add90f6e545aa2e64ce197b2f9","datavalue":{"value":{"entity-type":"item","numeric-id":3164834,"id":"Q3164834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d8874fa6218608ff7d8be5100937451a2f4f9bd","datavalue":{"value":{"amount":"+0.87793463","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":"Q4535180$A4C52CCD-35B2-4796-AF8D-A210D235AAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8263f7471b4a0a5a8b653fb229f1c07a790d6897","datavalue":{"value":{"entity-type":"item","numeric-id":5100762,"id":"Q5100762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"783fe0f2610a721894b98a54b94dc9b8b027305a","datavalue":{"value":{"amount":"+0.87672013","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":"Q4535180$D5A62B4F-5445-4BF4-85B0-12BBEBA70F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b50801cb8a0f5e757591d772bb087b8514fbfc96","datavalue":{"value":{"entity-type":"item","numeric-id":4202931,"id":"Q4202931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab3dbe567b35baf03a1fba2011511fa0f27e6a96","datavalue":{"value":{"amount":"+0.8756903","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":"Q4535180$87C34B5A-97B2-4A88-8FB6-E71FC2000E2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4535180","badges":[]}}}}}