{"entities":{"Q1996024":{"pageid":2006766,"ns":120,"title":"Item:Q1996024","lastrevid":43469424,"modified":"2025-07-28T09:35:41Z","type":"item","id":"Q1996024","labels":{"en":{"language":"en","value":"Computation of the transient in max-plus linear systems via SMT-solving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7317096"}},"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":"Q1996024$5A72711E-A1DB-4025-9658-DB35824C00B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d107bf33e1c3dad37c60c2c52f87cc2817e16ea","datavalue":{"value":{"text":"Computation of the transient in max-plus linear systems via SMT-solving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1996024$2CF8544D-149E-453B-9D6A-B9A9FB550544","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"54b97ea4a72161ddc930226730e5a6dd6e2cab04","datavalue":{"value":"10.1007/978-3-030-57628-8_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996024$0A8D5C92-2709-4365-AE3D-A2AB9202A88F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e149cd480f45d2379e65fc119900d9656b0738a3","datavalue":{"value":{"entity-type":"item","numeric-id":262436,"id":"Q262436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996024$63972A0C-0DCB-478A-A963-26A636F90360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996024$E186640D-9118-4267-BF03-0D8C5DC39FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3046b2a0c57b3d0488a53702fd7390ed47744c1f","datavalue":{"value":{"entity-type":"item","numeric-id":329419,"id":"Q329419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996024$FD7DC0B2-9205-4117-8362-6EB0B3D39E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97e92fcfa72c3f020670eb9cfd0c2944d5aaffec","datavalue":{"value":{"entity-type":"item","numeric-id":513818,"id":"Q513818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996024$CB9E4FD8-A54B-466B-AE0E-24BFE278EEAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da52b2635d2cd12aed90d9fb08209aaf7209a581","datavalue":{"value":{"time":"+2021-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1996024$49333ADC-3359-46BE-88D3-3C504CB100E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b297f3c3e30bfe523f465a9cd279f08060be314","datavalue":{"value":"https://arxiv.org/abs/2007.00505","type":"string"},"datatype":"url"},"type":"statement","id":"Q1996024$65A7620F-8A22-4795-898E-78A3670D80D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996024$771C19D0-F692-4B3F-A89D-E0CA5EEAC98E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f65c5ed36e9177d9cee077fac39fe2cbc2f2a782","datavalue":{"value":"7317096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996024$991C3BFA-EF96-4698-BBC6-DDFCA63F89A2","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":"Q1996024$D154A9BC-27FA-4015-A177-9B403DDEA89F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8551c515b9c88a5a923103bfd3c5082df8babaf8","datavalue":{"value":"W3081872108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1996024$4E4856A2-0651-4878-8058-E8F029C547A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5379d5c620198413a5e407e224fc94e5ff48d2db","datavalue":{"value":{"entity-type":"item","numeric-id":1996024,"id":"Q1996024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996024$C7383EBE-D147-4B27-AB69-07914D1E643A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f249580a521efbf8ec95a14e96ab42705350cf25","datavalue":{"value":{"entity-type":"item","numeric-id":4304869,"id":"Q4304869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996024$DF908B87-2CAC-46BA-A372-F0C176710FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996024$83C8254D-84B0-4152-91D4-29CF716DC336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30a5b5b7f2c92b3a118a6b1e000fe38cbab9d70b","datavalue":{"value":{"entity-type":"item","numeric-id":289493,"id":"Q289493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996024$7686CA67-C24C-4C36-A0AF-AB92CBD48417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4078ac8a2fc83d7832835657999873e58f06e19","datavalue":{"value":{"entity-type":"item","numeric-id":869908,"id":"Q869908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996024$D086601D-47B5-4D6A-B3AD-7420301CB140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5d8f79424dd14e580fbd7fb4c564d23d3f48d9b","datavalue":{"value":{"entity-type":"item","numeric-id":505429,"id":"Q505429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996024$ACCDFD7A-1E6D-449F-A0EF-EB95BF0B6208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61774d9849f10e1dd86ae551842bcf10d090eb09","datavalue":{"value":{"entity-type":"item","numeric-id":5901905,"id":"Q5901905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996024$A962EC80-8C26-458E-9B83-C2CBD41C8103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7febd03df31dc5baa394fe46aa85c4798e3540c","datavalue":{"value":{"entity-type":"item","numeric-id":1870593,"id":"Q1870593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996024$4977CFB2-3E96-452A-B00C-BDD20389B9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e997050928fb2bc431d55244dc39b9159a87666","datavalue":{"value":{"entity-type":"item","numeric-id":513193,"id":"Q513193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996024$49AABAF4-B2E4-4B3B-BB0F-A1A8F5843F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a7f5a29b00e5c47fe4f5312b03a6595a21734ae","datavalue":{"value":{"entity-type":"item","numeric-id":633272,"id":"Q633272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996024$87E6DC2C-C1FD-49E9-9470-C1FBC5339298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"404f392d651d33f73242a9f75a3968d7e0d1a13d","datavalue":{"value":{"entity-type":"item","numeric-id":406485,"id":"Q406485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996024$DA31DAD4-6FA5-471B-B397-D446BE722C5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77902a107ceab62554ad1b3a678d9d2b40ede41b","datavalue":{"value":{"entity-type":"item","numeric-id":1631239,"id":"Q1631239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996024$B2A1E25F-8411-413F-B2AE-A6E1001E91EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4d86ca46fe372de27ce97b5ff40a7764461a78e","datavalue":{"value":{"entity-type":"item","numeric-id":2176702,"id":"Q2176702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996024$B0D742F7-7BC2-4CF3-AEEF-D26614EA3087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55c8871101cdf87b089290b485de5b86e0b56421","datavalue":{"value":{"entity-type":"item","numeric-id":2942952,"id":"Q2942952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1996024$7BF2C72D-6E65-4DC9-A1F0-B78D4BA4925A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1996024","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1996024"}}}}}