{"entities":{"Q3498485":{"pageid":5528388,"ns":120,"title":"Item:Q3498485","lastrevid":50357966,"modified":"2026-01-13T21:32:46Z","type":"item","id":"Q3498485","labels":{"en":{"language":"en","value":"Enriched \u03bc\u2013Calculus Pushdown Module Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5275860"}},"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":"Q3498485$484E7FD5-F48B-4BBD-AE82-6667C1EA88B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a61e47833bda7ec24ff8022fdc1721b8a865a70","datavalue":{"value":{"text":"Enriched \u03bc\u2013Calculus Pushdown Module Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3498485$06605A3A-374E-4E4A-B600-510BE59EEE3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec688524d56644244a0fb1440a1c483c9a9bbe2e","datavalue":{"value":"1137.68434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498485$CBB1AEE5-9F65-401C-9BA6-F24E53D47EE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52e45703b8acf816491d7d7ab5d11b9a65e0b6d8","datavalue":{"value":"10.1007/978-3-540-75560-9_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498485$5D545709-9FEC-4C4A-B173-48883FEF8357","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b797c575157eab559005f02368290434a93f0965","datavalue":{"value":{"entity-type":"item","numeric-id":1006064,"id":"Q1006064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498485$6E4B39AA-837D-44B7-8216-14E505986BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9b0d5346ec014243da840aa4842429b4a2c359","datavalue":{"value":{"entity-type":"item","numeric-id":329412,"id":"Q329412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498485$4E422E4D-8CA6-4E9D-A036-68C54F8A5C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b91b7e9b71b17972586982d48b569d6d7014de4b","datavalue":{"value":{"entity-type":"item","numeric-id":671528,"id":"Q671528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498485$D714C8F6-4851-43F7-A6A3-C22A4DB528D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498485$AB9A5572-7E71-4C5F-B1EA-30F1C3D9F283","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe1a6b09d7dea39258164cec9c33f15b47de911e","datavalue":{"value":{"time":"+2008-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3498485$7D87AED5-DD72-477F-8FA6-1CD93BF7EB90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498485$740C5BCC-5919-4BD9-9884-CDFB30EC87FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5665bf1b24d766fafee9fba73630b76ef9922b6e","datavalue":{"value":"5275860","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498485$945F519A-954C-4B88-B5A8-367ABEBF2547","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":"Q3498485$60AF1DFE-3931-49E5-A46B-C64618EAAADB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6137d2da62a8d81b7ba58ae9cd8b2fbcd071ed34","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75560-9_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q3498485$B7466A91-BCC6-4AB6-9315-D6BEF1B6034E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a69669c9e03ebfd6d2c9bcbb44e223a891885738","datavalue":{"value":"W1507564730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498485$DACC8213-E87A-4E4D-8B7C-62DEF1DD8FCE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f805c195a7e1ff5eb0c52bb92f63f6e848d46d4","datavalue":{"value":{"entity-type":"item","numeric-id":3591423,"id":"Q3591423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498485$C003C13E-7AD9-4728-8ED1-6CD429136C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fe76e7c7c69ea3113cfd37113ad36ccb294761c","datavalue":{"value":{"entity-type":"item","numeric-id":5387861,"id":"Q5387861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498485$B4E48F7F-DEF5-4F9F-855D-6BA9ED571E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fdfedaed3c58f4d69185afb03d640d09b582d7d","datavalue":{"value":{"entity-type":"item","numeric-id":814615,"id":"Q814615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498485$9A08CD14-2595-4821-A95A-DC5FCF8995B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498485$CAF24330-B6C6-461D-915E-B099F390E5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3eb926229d783ee23ac46b3304f5467995245d8","datavalue":{"value":{"entity-type":"item","numeric-id":5758045,"id":"Q5758045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498485$4F8C32A1-FAE9-4CCC-AC4F-6C95A523946A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498485$446BA566-3847-4A11-8A37-D89213785518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d522d164cd0b9d962b8b5ddb7244ae37c06c27","datavalue":{"value":{"entity-type":"item","numeric-id":3703299,"id":"Q3703299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498485$81F924D9-AAF6-4236-A3D1-A1D0759D4C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498485$38FDE371-F3B3-4DAF-8CD6-F053F2E4BC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ab8130d3aff9409c6a296190aadf3113874d3d6","datavalue":{"value":{"entity-type":"item","numeric-id":4428305,"id":"Q4428305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498485$0C971D2B-BA60-4A38-9A23-F6FB6F2CDB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4af5f40b1688002d626ced95ea52a62f7741103c","datavalue":{"value":{"entity-type":"item","numeric-id":4809076,"id":"Q4809076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498485$C77807D2-054C-4083-B92B-05E8A4D945A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498485$69D02D7C-73FB-4EF5-9452-EB6D4363FED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51158147a2df4e7565ea13ce2d1c2ef34f61f1f4","datavalue":{"value":{"entity-type":"item","numeric-id":1854407,"id":"Q1854407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498485$25F4A8A3-804E-4895-8B40-61D7918D1A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498485$A68345E6-8B4D-4C47-8E76-8D0E13B1E47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c88c2000cc742f79a0696cbd6770a20218f4b3","datavalue":{"value":{"entity-type":"item","numeric-id":4539599,"id":"Q4539599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498485$ADD122B5-7E08-4BA7-A757-F30ABEF3244E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecbc0c3a12971b32d2a5e262ccdf452b1e8ca37d","datavalue":{"value":{"entity-type":"item","numeric-id":4219045,"id":"Q4219045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498485$B10A8E59-2504-4E96-976C-2AB06B768B86","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b364fbfc73f50bd7375c18acc0aa97d35831cd7c","datavalue":{"value":{"entity-type":"item","numeric-id":3535606,"id":"Q3535606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a657e0b25460b2e8e7629158762b56252f44982b","datavalue":{"value":{"amount":"+0.9471624493598938","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":"Q3498485$106513C9-3362-4EBB-8567-B18E28AA5B9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad556670ef1a7e79c2648b034e7ab922d2175f3b","datavalue":{"value":{"entity-type":"item","numeric-id":5758045,"id":"Q5758045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99be19aaec2a26fbe9667055033e40dab07b05aa","datavalue":{"value":{"amount":"+0.9094082713127136","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":"Q3498485$C96BC6BB-D25D-41B1-B0C7-9F29D332FFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec424eb7f763bfede65b9a50a95ad8dc55e20d88","datavalue":{"value":{"entity-type":"item","numeric-id":968362,"id":"Q968362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6c706781ab242dc7ded87892a17998b15ecc10a","datavalue":{"value":{"amount":"+0.8567601442337036","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":"Q3498485$DB1DE9E5-4412-466C-A2F6-C11F52A4915D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de640cf007b1edbb6dfd7f1087a191940cf356dc","datavalue":{"value":{"entity-type":"item","numeric-id":5387861,"id":"Q5387861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf9d6182196ff6b2527e8ca6ce271c3a2dd6b0ba","datavalue":{"value":{"amount":"+0.8554916381835938","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":"Q3498485$98DA5979-457F-4E76-ACE8-22010599CF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd5bc9a17afec83537deaf5e506324b59d40bf6a","datavalue":{"value":{"entity-type":"item","numeric-id":1951589,"id":"Q1951589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"246c0098bec207e65958f0652f4d730c2eecb1c1","datavalue":{"value":{"amount":"+0.8127292990684509","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":"Q3498485$CE99D81F-672D-44D3-9B3B-21C9100D0C09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3498485","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3498485"}}}}}