{"entities":{"Q3905252":{"pageid":5935157,"ns":120,"title":"Item:Q3905252","lastrevid":54938062,"modified":"2026-01-30T18:17:23Z","type":"item","id":"Q3905252","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3715502"}},"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":"Q3905252$E2ACF046-C2EE-4B08-AF9F-E38B36C433EC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7cc5c10ed230333d6f2ee0d6d6395e52c3f0779","datavalue":{"value":"0457.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3905252$97546937-3695-4AB9-A998-CA6809E15A25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcb8bf24ee716c9d28153ef1c573ce568607ec98","datavalue":{"value":{"entity-type":"item","numeric-id":1293013,"id":"Q1293013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3905252$5ABA8355-0844-4C46-B6AF-74B33A289088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2be7191792d3fcf5ca2d73613bdb46e7ef7e0200","datavalue":{"value":{"entity-type":"item","numeric-id":1150585,"id":"Q1150585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3905252$A9659301-2106-47C0-BD3D-07B6114A8CEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3905252$DAFBEC98-94C2-47B5-ABBC-270B7D3EB090","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3905252$698602B6-00EA-412B-9707-6AEB48EC4023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3905252$CA2EC2A1-94B4-4F6B-8A0E-654096F125F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3905252$1B5BF026-7F33-4A8A-A370-72ACA684B174","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1916454d1221c3e29f0d2fc40642a62c4b4f4863","datavalue":{"value":"3715502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3905252$7E5E32D1-399F-457E-BAF3-796226EFD583","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ed7d042c9e08a6c8deb182fa96018ad8d693814","datavalue":{"value":"quantificational formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3905252$327D9B59-3D04-448E-BCA7-E36FA76E8AE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb25b4f5e86c29f5d862421d5023b134950617b6","datavalue":{"value":"Herbrand expansions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3905252$71861606-FE7F-4966-844E-DD78A65072B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa2a315f1e5bdb812c00f1614e7890bab1729fe","datavalue":{"value":"solvable classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3905252$CB6A99D3-6965-40C2-B6BE-968C74782CFF","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":"Q3905252$8B1B4047-F956-459B-A1E4-359439929616","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92ecb86cc07cbb4692b5cc45d6b9991e575161d1","datavalue":{"value":{"entity-type":"item","numeric-id":3693501,"id":"Q3693501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0266975c2c2f690f641d2f6abaa7cda2f586f9ea","datavalue":{"value":{"amount":"+0.7746474742889404","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":"Q3905252$8C4B07D0-C143-43EA-8EB5-1890D93085E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f93297906719edaa04f6637b0f638656d6adbe9","datavalue":{"value":{"entity-type":"item","numeric-id":3240233,"id":"Q3240233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36292d718b19acf1f074c83364d5ccceac81cb88","datavalue":{"value":{"amount":"+0.7745863199234009","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":"Q3905252$2E7D8DB9-4020-4DB4-9984-48C7BDDFC6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18d2bc8ff4d5ad1335bdadf2b6dc1edc0c77722d","datavalue":{"value":{"entity-type":"item","numeric-id":3695253,"id":"Q3695253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8380240a1818f74a8a7f504722b42162996c783a","datavalue":{"value":{"amount":"+0.7576594352722168","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":"Q3905252$30C7BB38-733A-4727-A924-66DB4E8489D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bec0c4844ee35e7f35f23a30a385ddb41de3fec7","datavalue":{"value":{"entity-type":"item","numeric-id":5691140,"id":"Q5691140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e244eff7b9fdb13e30841785e6c459d5d42a986","datavalue":{"value":{"amount":"+0.7527626752853394","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":"Q3905252$26BC1133-3D3C-4D03-AF78-219140694741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2398eef9efd57113e53ce4e1c6dc78ad09f83c74","datavalue":{"value":{"entity-type":"item","numeric-id":4942004,"id":"Q4942004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"593922fdae461b3c74b5fbf284b44088637353e4","datavalue":{"value":{"amount":"+0.7527626156806946","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":"Q3905252$A76800DF-742A-4771-AE35-0590C5696DE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3905252","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3905252"}}}}}