{"entities":{"Q2405249":{"pageid":2415992,"ns":120,"title":"Item:Q2405249","lastrevid":44032605,"modified":"2025-11-19T04:56:09Z","type":"item","id":"Q2405249","labels":{"en":{"language":"en","value":"Decision procedures for theories of sets with measures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6778403"}},"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":"Q2405249$CC810704-EF2A-438B-89BC-EE7593797CAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f95577a1b9177f9ae69edf362417075364c95bd","datavalue":{"value":{"text":"Decision procedures for theories of sets with measures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2405249$02B1D561-85C1-463D-83E2-2E9CAEEE3F81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7cfcab851a8cec289c0cacd767639070c669c93","datavalue":{"value":"1496.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405249$FDA25BA8-583A-4327-AAB6-44E88DB9B573","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"529b1e2981d9aee6f4d80f4589eb4499ed0f0b9a","datavalue":{"value":"10.1007/978-3-319-63046-5_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405249$6B49535A-C306-481B-868B-EE928FE18293","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3d3a5f42e5f02d9c05ee8dc15cd58043c4dc27d","datavalue":{"value":{"entity-type":"item","numeric-id":2405248,"id":"Q2405248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405249$034AE35D-D16E-4C82-A01D-BB2A5DFE325C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ea72ecee982e1dcddee303e9fb3aea539cf87","datavalue":{"value":{"entity-type":"item","numeric-id":592080,"id":"Q592080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2405249$5150A50E-997E-4E2C-A08F-5D0309CDF02C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"75b8eddfcc302defc1a614ef0ded8c7b941f1ef4","datavalue":{"value":{"time":"+2017-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2405249$0C52D36A-FF88-49C7-99A1-59E078019D78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405249$A31F8565-EB5F-4577-81D3-C198087D4645","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405249$843C753F-2C53-4E4B-ABFA-1EE0E2A37414","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b507f20ef37707f76cb74130248cc5709db21f0e","datavalue":{"value":"6778403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405249$29529035-6FD2-401E-ADDA-FBCC668B6AC9","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":"Q2405249$E9012ABB-FAE8-4710-B9AD-DB2D66BFE6FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0c6178352df658c0368d9929446b005bb014b5f6","datavalue":{"value":"https://doi.org/10.1007/978-3-319-63046-5_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q2405249$96150B5E-C87F-4658-BB20-212C99A3A4F3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"35a91ea3160298138d27f5a287b25314d77e909e","datavalue":{"value":"W2734634746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2405249$DB1E95B3-F6B1-432D-AA05-BBB5C5E7D8C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daf0cbf8508f873739e18263d65c2fb773d6df40","datavalue":{"value":{"entity-type":"item","numeric-id":4254545,"id":"Q4254545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"407860dd620f16f4c8dbf7ff390065df28ab59c5","datavalue":{"value":{"amount":"+0.8847658","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":"Q2405249$01F94CAF-9172-430A-804E-15BB87B4FB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1eb6129cb81336ecb8be8c944965d062a2256ec","datavalue":{"value":{"entity-type":"item","numeric-id":1711095,"id":"Q1711095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5ea96a22da5575e1aab2eb06bfc0f1b96d374d2","datavalue":{"value":{"amount":"+0.8803408","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":"Q2405249$0486C1DA-B3F2-4A2E-9918-F192C925D8C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8a3a01f651c05f6804ecacb30debb32a3a92425","datavalue":{"value":{"entity-type":"item","numeric-id":3718967,"id":"Q3718967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a80943ff38ad42f2c6af5638e35d446b7f2c68a3","datavalue":{"value":{"amount":"+0.879418","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":"Q2405249$55D1E580-A911-4DBE-9A76-32914FCA4F4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21422ffd5b29060ef815bf50b86719ada6e073ff","datavalue":{"value":{"entity-type":"item","numeric-id":3819041,"id":"Q3819041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e11d006b3e44d129549f45e7087c080da5491ccd","datavalue":{"value":{"amount":"+0.87440324","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":"Q2405249$AC89F8E9-D397-49E3-ACB1-88778141A6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71e8c65936d19ce2d90db8f3858cb4d7f18536c4","datavalue":{"value":{"entity-type":"item","numeric-id":3684116,"id":"Q3684116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38709cfa93814fbc55904f528783226e3c0acd3e","datavalue":{"value":{"amount":"+0.87428576","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":"Q2405249$15C11CD5-98A4-46BE-A92B-D308E3768754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662f7e9efcb389ddf937f1c6a7e06e3895774071","datavalue":{"value":{"entity-type":"item","numeric-id":2405250,"id":"Q2405250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db0697ff32c4d251ea772a340a25cf10210f3b04","datavalue":{"value":{"amount":"+0.8742441","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":"Q2405249$DE39D2C2-45BA-4040-9B6A-3D2B3A7A2C5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8f31a35fcd9fb37725e36ddd1e85977957abf8d","datavalue":{"value":{"entity-type":"item","numeric-id":2878755,"id":"Q2878755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d218c8bc1b2f50aebc3578830b7c135327ee51e3","datavalue":{"value":{"amount":"+0.8719644","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":"Q2405249$BC7850C3-66CF-40D8-8D5F-D14B542DE79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"609a101d09d3a5350c126f899ae9d1a5da825221","datavalue":{"value":{"entity-type":"item","numeric-id":4633533,"id":"Q4633533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79e5839311d493bfcc3ee0fd53d4001a3729a9e3","datavalue":{"value":{"amount":"+0.8715344","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":"Q2405249$DE87F9DA-36EF-4B17-99D4-D7FE61F56A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"635ebd9c1b4a8c6a5452f50dd2d99a07fcfc992e","datavalue":{"value":{"entity-type":"item","numeric-id":5360448,"id":"Q5360448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1bd4d4ac945e41f0a7ea9e7978eb27b5a975e61","datavalue":{"value":{"amount":"+0.8664732","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":"Q2405249$675158F6-4D6C-4225-9664-025FEB0AEDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26dd43eb723247eb6cbab14ad8584ec0ec48f3cf","datavalue":{"value":{"entity-type":"item","numeric-id":4018748,"id":"Q4018748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"493dc806103717f21e3158e0d8abcdc770ef05ca","datavalue":{"value":{"amount":"+0.8662542","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":"Q2405249$E9FEEB32-6F38-4F23-A4FE-AC084C10F7F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2405249","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2405249"}}}}}