{"entities":{"Q3540195":{"pageid":5570099,"ns":120,"title":"Item:Q3540195","lastrevid":50499227,"modified":"2026-01-14T05:22:28Z","type":"item","id":"Q3540195","labels":{"en":{"language":"en","value":"Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5369512"}},"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":"Q3540195$B64FBC26-1FDA-467F-A6DD-7A3B72BE7647","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb3b85fcf9ef8a6024e7f57b8a590766ba2832e4","datavalue":{"value":{"text":"Upper Bounds on the Automata Size for Integer and Mixed Real and Integer Linear Arithmetic (Extended Abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3540195$F6BE92F3-F772-44FB-9EA9-62D522D7CCD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bba3087887b5ec11bbd5d5f639684ebb10d87618","datavalue":{"value":"1156.03330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540195$BBF2B20E-7DC4-42A0-AB79-154ACF4E0D71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"933abe42d3ec218aae8833fbdd8617437dc5590d","datavalue":{"value":"10.1007/978-3-540-87531-4_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540195$708AAD82-F312-46FE-A6AC-F1F94EB68125","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f73193a7da9e84ee1c9f93e164c96f1552c8c130","datavalue":{"value":{"entity-type":"item","numeric-id":1028729,"id":"Q1028729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540195$7115524B-45B0-4929-B8F0-7F318BFF4F68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540195$A228E5B0-4BCE-4087-AE8B-2444A1B9FEE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391f01da9d69c422d0ad9b2dbbb0b627908b1ac6","datavalue":{"value":{"time":"+2008-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3540195$A8523B93-833F-4F7A-93C3-AA4F24AC2E83","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540195$0F64A4A6-7DA6-4251-B9F2-84C73CF2CE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540195$16B77B2D-3A70-4CDE-AB8C-83EC88A21D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540195$6149FB7D-A6E8-4C79-A1CF-EB784D301947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540195$378C4BEC-89AD-4FD4-9F26-A4782B4CDA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540195$E7FCCA75-735E-4E51-9AFA-3A81AA5B5E8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56b661a3e6b2ba5c1d2aae088edd3c14121f4e09","datavalue":{"value":"5369512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540195$CE9A9733-1EAA-4052-A4AD-850802F8B11A","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":"Q3540195$01A23BB4-E17A-4680-BD5D-D19A4B88972D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"675442f68f97562d196eeebd79284602a2889095","datavalue":{"value":"https://doi.org/10.1007/978-3-540-87531-4_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q3540195$05D88C80-CA4A-4AF9-814E-D3F118524132","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a81243a1bbaadbb5985959fa76f6c2504b752f78","datavalue":{"value":"W1497535273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3540195$911977F6-13A6-47C9-B9CA-EDE96CFEF1A5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"53dc06005109d2fd12fa28c8abe27376ad494b20","datavalue":{"value":{"entity-type":"item","numeric-id":5277733,"id":"Q5277733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540195$813E52E1-23AA-4B6E-9456-3161E26AB812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8c2a20598003049952d3358bc03d221f8c30dee","datavalue":{"value":{"entity-type":"item","numeric-id":4809151,"id":"Q4809151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540195$C8194EC6-C741-4386-A229-6F544367AEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540195$30C6E4A8-F3B9-4C92-9C20-6C162328FA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540195$55DF26FF-8CB9-4146-B344-6B285E2A2AB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448e5abb05ec0c10b64746c80e216ef9d23df3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5674430,"id":"Q5674430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540195$C47CC4D4-8662-4705-A3D2-300C64D259A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f7538d4e19fdbfcbfe076cbd2c635ea89e5545a","datavalue":{"value":{"entity-type":"item","numeric-id":5463994,"id":"Q5463994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540195$94F6E1C3-F487-4A4D-AB5F-87341285E902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1630ee5af00db53c3291f37c8e390b1646e4fc","datavalue":{"value":{"entity-type":"item","numeric-id":4298571,"id":"Q4298571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540195$5B77326F-B309-4C8C-8430-44D86A01535D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fbac66b9f0b31df6c47149293654d91edf35714","datavalue":{"value":{"entity-type":"item","numeric-id":3540195,"id":"Q3540195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540195$32DB9EAC-CE9E-48B7-9D9A-C6C8E7179F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8a12e48a3419fc543360ced879b3f4bcd2bff0f","datavalue":{"value":{"entity-type":"item","numeric-id":5756751,"id":"Q5756751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540195$10E42E2F-FACE-4E32-AFCA-225E8ED21231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540195$A1771EB6-D1C8-4C89-A84F-32B3A83F19F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cca8ae3740fcfb5a7e9f346758fcdd72ac5497a7","datavalue":{"value":{"entity-type":"item","numeric-id":4082296,"id":"Q4082296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540195$4716E547-A3B0-4139-A4B8-8BFE2A28864C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf44416f275c86e5b4293c141df3f2e4bf7eccd","datavalue":{"value":{"entity-type":"item","numeric-id":4336034,"id":"Q4336034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540195$690B0297-596F-4FBB-A41C-2E9AB3962A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4fc715b79607c840de94c4d1d47ed447960d228","datavalue":{"value":{"entity-type":"item","numeric-id":4910740,"id":"Q4910740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540195$6F6AC11C-3982-486E-82B5-799453900E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4d3e1f632aa6a45772004d57104ad9109cf2f75","datavalue":{"value":{"entity-type":"item","numeric-id":2492014,"id":"Q2492014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540195$254EF8DE-A007-433D-821D-E40B2C23BC56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26c158dadd45f723badd393a645542b57039d857","datavalue":{"value":{"entity-type":"item","numeric-id":1603452,"id":"Q1603452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540195$3CE21E62-CA3A-43C3-8805-CFE46B0DCE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f941a902bffea90343b48b0a1332386973403c0","datavalue":{"value":{"entity-type":"item","numeric-id":1391139,"id":"Q1391139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540195$AE7EB36A-03C0-46A6-8880-F27B282E780E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33ee1e9bddd5e600f5b1d8c8cfae347a7631b92","datavalue":{"value":{"entity-type":"item","numeric-id":3140556,"id":"Q3140556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3540195$93878B71-B698-4DAC-B7EC-4181EBC13496","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c686021091d1df97f6cbb25fc41704099d764ad6","datavalue":{"value":{"entity-type":"item","numeric-id":5277800,"id":"Q5277800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a68c0b28b28aed3055f1dca6a6c51ee26c82de4f","datavalue":{"value":{"amount":"+0.8210604786872864","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":"Q3540195$91121169-244B-446A-B90F-7213A717CA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee6477906dc9161468bc7d194da076db843d4cc","datavalue":{"value":{"entity-type":"item","numeric-id":5277733,"id":"Q5277733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e633108da89a7931582ba21ef3496c95261f2eaa","datavalue":{"value":{"amount":"+0.7973460555076599","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":"Q3540195$958BA451-362E-472F-8473-5254FD5CEF51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8587664099ca70f18d3fd5c6522605e85ff1d785","datavalue":{"value":{"entity-type":"item","numeric-id":4910740,"id":"Q4910740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c99a049ba77e639f07aa646dfb0a9f4569e5cbb","datavalue":{"value":{"amount":"+0.7952438592910767","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":"Q3540195$BF69054E-D2E6-46F7-9DDB-27C7EC3955E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72759b6f84446c00b4869f94bd50cc5c75b15889","datavalue":{"value":{"entity-type":"item","numeric-id":4539644,"id":"Q4539644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66106ae5c07608a51b06f29c708077344a5e0ee0","datavalue":{"value":{"amount":"+0.789113461971283","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":"Q3540195$E73E48D4-CAD2-4BBA-9376-AB3279E0C219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"851982118c33af1d968ebae908e05db55f9aa0aa","datavalue":{"value":{"entity-type":"item","numeric-id":710741,"id":"Q710741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bc558911b2bbee9e958bfd8366f7329a21e46bf","datavalue":{"value":{"amount":"+0.7832854986190796","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":"Q3540195$D624F0B0-1C57-4819-867B-6B9364AB263D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3540195","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3540195"}}}}}