{"entities":{"Q3514638":{"pageid":5544542,"ns":120,"title":"Item:Q3514638","lastrevid":48887815,"modified":"2026-01-06T02:22:13Z","type":"item","id":"Q3514638","labels":{"en":{"language":"en","value":"Deciding whether a relation defined in Presburger logic can be defined in weaker logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5302960"}},"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":"Q3514638$A5FE635C-DDEF-4311-B57A-EA33A0563B60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8463c583115ca8226b2e1bb9d12ecd04a35ec931","datavalue":{"value":{"text":"Deciding whether a relation defined in Presburger logic can be defined in weaker logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3514638$0566E953-2959-41B6-863D-8FEE6E130031","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99dc254efe2a58ce812db6c6985ded3f6110cf07","datavalue":{"value":"1158.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3514638$4A915E09-1E03-48C1-8EFE-A58BED77D265","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3514638$2E02335D-D113-4F48-A2DD-5471C64A3DDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef23f451c63fbed589b4692fdb97271c9dafb789","datavalue":{"value":{"time":"+2008-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3514638$CD5B3335-28BE-4A68-B3CD-FB0221929DDD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dd74db03735cc82447c90d204b010aca9cfc594f","datavalue":{"value":"https://eudml.org/doc/92855","type":"string"},"datatype":"url"},"type":"statement","id":"Q3514638$DE698309-D771-4798-A336-4BF32E105B09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3514638$6D007BDA-2788-4AD1-89FC-CC3C18A33C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3514638$BB71B602-970A-415E-9AEF-1570D818C7FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3514638$1DDF12D8-F250-4F5D-8A08-5807656A993D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3514638$7D4E06C6-86F9-4FBF-8EC7-85ECBAF08D02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59bbf0f99e01772f82d8cb81ae6afbedc45e96ce","datavalue":{"value":"5302960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3514638$2C912A3A-4D9A-489D-8D7E-1106D5CAC3C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3514638$0C03D114-F05E-4C4A-909C-4A4C7745258D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3514638$C69913CC-1BC1-4E22-992D-758EB3A0EE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3514638$FB5D81C5-90E1-49E1-BEA2-C061718CA932","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa990e79bdd7ffcabe4f8d60711efd12e49a6fc6","datavalue":{"value":{"entity-type":"item","numeric-id":512187,"id":"Q512187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3514638$D3AE4F8E-5650-437C-AD84-ACF234F429AA","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":"Q3514638$367F3AC0-D072-446A-B7C0-71F5335FFEA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7e1b1033984e63448d8ec10dac01432db6ed4c53","datavalue":{"value":"W2085137086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3514638$8A4D73C5-53ED-4225-A2CB-94DB854B32BC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d5cf70a48035360a36b0e2ec3e2127a7c762e5","datavalue":{"value":{"entity-type":"item","numeric-id":3431438,"id":"Q3431438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3514638$896115E3-114C-4B02-A756-9CF5F0A0E2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e19ee1b0830cbb1342e5ed39edbd2f604a433a49","datavalue":{"value":{"entity-type":"item","numeric-id":4514735,"id":"Q4514735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3514638$9E793284-73A9-4567-A420-A16E071D42D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3514638$A0B38D7C-B737-4209-BF78-8C9E704F8D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"243a974194fa34fd25722575e1666811518331c8","datavalue":{"value":{"entity-type":"item","numeric-id":2542523,"id":"Q2542523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3514638$1F905FDA-162C-4FE5-BC1F-E81963D599D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f1c3c4ea4a388fc55b35b4656b5fa305b149b6","datavalue":{"value":{"entity-type":"item","numeric-id":5525345,"id":"Q5525345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3514638$4817A511-3ACC-46B0-BC9D-E2A50D1EA02B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a3b0c88bfce53d81a18defec50b20799bf0f187","datavalue":{"value":{"entity-type":"item","numeric-id":3764124,"id":"Q3764124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3514638$0FE1B46E-62CC-4787-B5C9-3A63EEE9E2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"883a21ee23033bf2a23596b16279552e579425da","datavalue":{"value":{"entity-type":"item","numeric-id":1186601,"id":"Q1186601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3514638$855D74F1-090C-4A46-8B80-94E82CFA7D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed68160731cf55d219ba94647825683328472c30","datavalue":{"value":{"entity-type":"item","numeric-id":3769981,"id":"Q3769981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3514638$03573DA4-CBE6-4679-9495-78B5F789FC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14d65f813b7bf62e89eaf2eb886e2ecf258499df","datavalue":{"value":{"entity-type":"item","numeric-id":4221106,"id":"Q4221106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3514638$2AB72B14-D112-4535-98B4-7FA20EBF5F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162d693aa76a5750175e9d46ffeb02a8a5b21d2b","datavalue":{"value":{"entity-type":"item","numeric-id":1188945,"id":"Q1188945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3514638$04958764-588A-4A57-8AD1-A2F70EEE5F06","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d82aed541adf50b33a90e1094d7d789a30ec23b3","datavalue":{"value":"10.1051/ITA:2007047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3514638$A17CA4F2-3B29-43E6-AECA-CE0BF76E8B65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b4a30432e3d55eaf134a895bcdd7b1f868d128b","datavalue":{"value":{"entity-type":"item","numeric-id":3502652,"id":"Q3502652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67f5512b3be602b0cea2cb3d4fe6951a78455d3f","datavalue":{"value":{"amount":"+0.86324674","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3514638$4642CCE5-73E0-4029-8A1A-42828358572B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662406e0e118a553db0578f95a48c5e1b49b33c9","datavalue":{"value":{"entity-type":"item","numeric-id":1066881,"id":"Q1066881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3951bd0348fabd037680b6bb47c6120e99025b8c","datavalue":{"value":{"amount":"+0.86221373","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3514638$01B096BE-F36B-45F6-BD4C-7D6814A59FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1794f4d181ff9292adc21e3e99cb9b0446c1496","datavalue":{"value":{"entity-type":"item","numeric-id":4635613,"id":"Q4635613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26ccaea0e50ecfca25fa16ffccf5a464e4bba274","datavalue":{"value":{"amount":"+0.8619048","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3514638$8EDCB813-7628-4F7A-9430-92FE58CAA6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"365ad59fd65908b9f930398c553133fe45b87c9c","datavalue":{"value":{"entity-type":"item","numeric-id":4911149,"id":"Q4911149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62effe9db1ed778071c0ecaed063bf37e7e4e8b8","datavalue":{"value":{"amount":"+0.85230905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3514638$132E9772-4C88-4131-B1ED-FDC8ED608161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d6e237cdb469e1a105720778d1edf6adb6ed5ee","datavalue":{"value":{"entity-type":"item","numeric-id":4544195,"id":"Q4544195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60f235b46bc7eedf29717f11c9927c15f88ca163","datavalue":{"value":{"amount":"+0.85186416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3514638$BBDA5579-6836-472C-8E4A-32C1F9EF03DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dee548f2490da7e1eebb2956e490cd4a543c7c2e","datavalue":{"value":{"entity-type":"item","numeric-id":4877446,"id":"Q4877446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f17642ba9af1fa54bb05455ac23bf7e7dc39138e","datavalue":{"value":{"amount":"+0.84987974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3514638$A1634C9B-693E-4E6D-8B19-F7D03ADC03B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f93b8b663d2d3bc40fb1fe7ee5228e3c0712da","datavalue":{"value":{"entity-type":"item","numeric-id":735407,"id":"Q735407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01b6c15a4f6514559fedbc07ed85161c0998f79e","datavalue":{"value":{"amount":"+0.8489709","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3514638$FAF6E65D-7A2A-439C-AA89-9341864453EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e303d284b54b798bcf91b5370d140139519f44b0","datavalue":{"value":{"entity-type":"item","numeric-id":4881682,"id":"Q4881682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad96ca4e2c0161850179185d0a71f2d71f45d1ee","datavalue":{"value":{"amount":"+0.84778684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3514638$E5A68DB2-6142-4995-A9AC-0FAC8FF6EE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e35333a77880ff6947ee9a5dec5171cff9393b87","datavalue":{"value":{"entity-type":"item","numeric-id":5411682,"id":"Q5411682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b94a9a0d0d1ecbadc78bda7cac44a22171a6f14","datavalue":{"value":{"amount":"+0.8477049","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3514638$02037FAD-04B0-4B01-BF89-1CB29872643E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3514638","badges":[]}}}}}