{"entities":{"Q4255507":{"pageid":6285108,"ns":120,"title":"Item:Q4255507","lastrevid":46687077,"modified":"2025-12-25T09:53:57Z","type":"item","id":"Q4255507","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1324436"}},"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":"Q4255507$E2A71A1E-8776-4DB9-96AB-9B9B068308D0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"921ed11b423162ece4ed22e817c61af4d1f26ed0","datavalue":{"value":"0925.20002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255507$E682CD46-936A-4B7B-B851-6079EC4B17BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ba90afe3c39216a5a167db74b8f9f42ac7df8da6","datavalue":{"value":{"entity-type":"item","numeric-id":220717,"id":"Q220717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4255507$E549AE5D-4152-41A5-88A8-79CA74471915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0e0028fa115cfaf177650f352dee75f3c9756682","datavalue":{"value":{"entity-type":"item","numeric-id":688545,"id":"Q688545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4255507$1950339F-B862-4A6B-9B33-46C3FB53FC40","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bfc696b995d8319fe0260180a1cd6c4dc4a5d24c","datavalue":{"value":{"time":"+1999-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4255507$B6816372-9DC6-4587-8BCC-DDCAB6D6321F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fd43a1b9f2417f5aebe919f08e6aa2b510501c27","datavalue":{"value":"20A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255507$D9F08AB4-25ED-4F8A-B247-CFFADFEF9ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f96720fe29e309c34c82deec20bd95823bb71652","datavalue":{"value":"20-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255507$7138D987-704C-44A3-A320-AE8F585240C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255507$1A5303F3-6853-4239-BE6F-EE77EAED1CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255507$8E84F209-D8F7-40CE-B671-4A1BB496CB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a5e4b57a670ee788c7f89ba8dae300fb6f63bffc","datavalue":{"value":"20F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255507$B43CD439-8988-4867-80EB-9711655C56C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"49af82f4ade3a98e23da5d649cb52c1c6f164fdd","datavalue":{"value":"20E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255507$2CD61FDB-67DE-4582-8B9D-DADA81AC5A82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f80af598a421000322d1d0cf50cfc3cfe9277f75","datavalue":{"value":"1324436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255507$BD852700-B718-4CCA-9A85-D4F101502779","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce7ae11a83a19ddf38473e4541b755ad354d7f3f","datavalue":{"value":"axiom systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255507$0E92CFF3-63DB-4D53-893F-89BEECC9731F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59e39a1423eef0bd61f7beecb25448652bd45b83","datavalue":{"value":"groups of odd exponent","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255507$FB0ACA32-4DBC-4D05-886F-358ED610A139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255507$E204E82B-B2F3-4341-9846-F5FFF33780EF","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":"Q4255507$4F70418C-7785-414F-963E-A09F394F3F81","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee167486c89d098adf31f060688a840a3ef9f29c","datavalue":{"value":{"entity-type":"item","numeric-id":1893129,"id":"Q1893129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7e25298f1950afbd05bd13648e91038c7149f32","datavalue":{"value":{"amount":"+0.8507903814315796","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":"Q4255507$92596E2A-AEA1-4BFC-A3CA-A467D76CC65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"039ea4eabeb7f0fdb000af59a4d129a8420a5273","datavalue":{"value":{"entity-type":"item","numeric-id":1343390,"id":"Q1343390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d607528af0671dbfed01e3617b93177c70b10cff","datavalue":{"value":{"amount":"+0.7978153228759766","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":"Q4255507$8022EFEE-1487-43EC-8C57-8BB8F2B850FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bdacafd3d9e91cf77f5b9d587130d4b932796a4","datavalue":{"value":{"entity-type":"item","numeric-id":861707,"id":"Q861707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cbc7fa91b3dc8a88d13a4be0ae42554b497539c","datavalue":{"value":{"amount":"+0.7967602610588074","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":"Q4255507$84F86869-248C-40F8-9C49-476E493DC063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94ed288e97ebabfb464f8f0f062bdaf44e9a7727","datavalue":{"value":{"entity-type":"item","numeric-id":4345023,"id":"Q4345023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84471d4c6437c244c14ed61d93d240b98a1f4a90","datavalue":{"value":{"amount":"+0.7935023903846741","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":"Q4255507$D365D336-EC53-4DDA-8BE6-9DB3A1DBF26C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4255507","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4255507"}}}}}