{"entities":{"Q4003036":{"pageid":6032860,"ns":120,"title":"Item:Q4003036","lastrevid":55149526,"modified":"2026-02-04T03:51:52Z","type":"item","id":"Q4003036","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 52748"}},"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":"Q4003036$72623598-EAC3-4CEC-80FB-6DF8278D11E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b5cec154a1b95fb3a0dd33f294844c6694c329e6","datavalue":{"value":"0753.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4003036$44F47EB5-3B13-4BA9-B2DB-F3D752991D6E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0f26ab800d353f785fba41d5cb9e1942cc404ee","datavalue":{"value":{"entity-type":"item","numeric-id":516247,"id":"Q516247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4003036$FED32C60-33B4-4B6F-9449-D66C2A554B97","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a36a1bb338826b5fff6c870b4eb6d68a03b885b9","datavalue":{"value":{"time":"+1992-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4003036$70AC77E5-5082-4AD1-B893-CB7ACD3F12F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4003036$B21158DC-39B6-4672-8D9A-7F361279B44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4003036$E79ABC34-9502-4DAA-B2D4-4FBDE6ABA2A3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54581aaac2942e18f102ef87e2e9664e7a97cbd2","datavalue":{"value":"52748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4003036$31FD8AFD-FF1B-4673-84EE-B53A969145B5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003036$F911FBD1-E63C-4154-BBDE-A1B35DB9AE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e688b9460fb788e742b2fe6d6910fed83007f35c","datavalue":{"value":"verification of infinite systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003036$9C62A4F1-DF39-4F88-A5D9-BDE4DACF19B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003036$5B9D173A-9CC8-4FA2-80FF-916A095467B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4421b72da5e69352497a79d6545f19cec17c3a4a","datavalue":{"value":"tableau method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003036$C5EEFD71-D7F7-4B0A-9C4B-B05005D2927E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f27a148307a26a5f24b49920ff0b5a95a9dcc09e","datavalue":{"value":"propositional modal mu-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003036$E5F8BE3B-9314-4570-8F88-83E2871E13EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a988eab35b8a3e6ef56c6d7102b838b67488872a","datavalue":{"value":"fixed point operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003036$A66AE681-2336-4930-995F-2FB8C2C66FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ed9d7e915456bbb5f7509634877eda454bb9454","datavalue":{"value":"concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003036$B354692D-854F-4E63-ABF5-63685DCF1D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003036$EA6B9327-4284-48E2-859D-6EF716706864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be2b741986e5ac3c5e920febf4128200a67cd37a","datavalue":{"value":"complexity of mu-formulae on nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003036$FDBD35F9-D1A8-4C05-A601-1B3609697744","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":"Q4003036$91C031AB-7C25-4105-B5BE-7D345F34B309","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f11e5ae3dbb6281a837da9b0d3b5443db23c8145","datavalue":{"value":{"entity-type":"item","numeric-id":2441713,"id":"Q2441713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49eadf847438262361b63ccd341f5641c7c3e39f","datavalue":{"value":{"amount":"+0.9288451","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":"Q4003036$465530B3-723E-4383-A26A-8F00B83219DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cedc2fd789aa2f3d014d919c3a3a4076c401257b","datavalue":{"value":{"entity-type":"item","numeric-id":4885623,"id":"Q4885623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ad62adae6a11ba07b8d0992931dc6a4f762f859","datavalue":{"value":{"amount":"+0.92834175","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":"Q4003036$86E317E4-0E8A-402D-B339-E361AF8F0803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a07eb76c8a4cb540dd2485023958eba4aa23a72","datavalue":{"value":{"entity-type":"item","numeric-id":2848445,"id":"Q2848445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb297d524c34336aff4217df95142b73d803269e","datavalue":{"value":{"amount":"+0.92825174","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":"Q4003036$C34F648B-A660-45D4-8DD3-058CF5714996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d49223e3a6b3fb37fefc9da1637bf45e0aa7b670","datavalue":{"value":{"entity-type":"item","numeric-id":6162104,"id":"Q6162104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7545fd705f28f4f175b3e7ac83f740dc39a0403f","datavalue":{"value":{"amount":"+0.92376804","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":"Q4003036$AC9A1978-8894-44E5-90D0-58CB01B88E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ebe9b47b6fefc2b4bbaca51c9c4c0f392940429","datavalue":{"value":{"entity-type":"item","numeric-id":5009429,"id":"Q5009429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b86409f83b0bb38b9321b0b053206389dc4fb68","datavalue":{"value":{"amount":"+0.92119795","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":"Q4003036$285A05D9-0243-4851-BEE0-662E9E03D58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a1bdfdd388ae2045a5f966c478ba5dc79eda0e9","datavalue":{"value":{"entity-type":"item","numeric-id":2870137,"id":"Q2870137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e9d686e44d30c408c19540c026162e7d2daceba","datavalue":{"value":{"amount":"+0.9197948","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":"Q4003036$EE182020-7561-452B-8CDF-82B5923E7C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"123e937c53af54b9fceb23f35b3fc65fe9959e73","datavalue":{"value":{"entity-type":"item","numeric-id":5897956,"id":"Q5897956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8aeb8c103182e2c1f57aab0194e76aa9dae4011","datavalue":{"value":{"amount":"+0.9170579","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":"Q4003036$D564EA50-79D4-4A64-BDBD-8F56E630BAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f1372bdb69ffda7f6288354b2e25e1c88d3694f","datavalue":{"value":{"entity-type":"item","numeric-id":2766550,"id":"Q2766550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"055e345928d34e15383851d2fedd27526a8f5ff2","datavalue":{"value":{"amount":"+0.9166193","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":"Q4003036$7E9DAF34-7330-4944-9D29-1810357CE7AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983d11ff1dd06ecdeadd1f66f16e5f7a7c531de5","datavalue":{"value":{"entity-type":"item","numeric-id":1333273,"id":"Q1333273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b60b6a11be89228912bda5a5a2a4b10c309e3ef","datavalue":{"value":{"amount":"+0.9148935","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":"Q4003036$13E59F78-9FAE-40E1-9C0D-DCED4A665C1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4003036","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4003036"}}}}}