{"entities":{"Q4471941":{"pageid":6501540,"ns":120,"title":"Item:Q4471941","lastrevid":48299782,"modified":"2026-01-04T07:15:01Z","type":"item","id":"Q4471941","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2079834"}},"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":"Q4471941$171F846D-9900-4F01-A0AC-667B21196847","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4bb6b623616bbe1660272689d620fb951dd69572","datavalue":{"value":"1042.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4471941$DA306A04-F52C-43AD-9761-9F6083C5915C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d870e2473d5345f6db48a851f63c5c8e373e7d2","datavalue":{"value":{"entity-type":"item","numeric-id":230816,"id":"Q230816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4471941$3539CF49-9BF1-4A69-84A9-ED05A66CE73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"77cc5d8ccfc73187204949e22dee71ea8727e809","datavalue":{"value":{"entity-type":"item","numeric-id":230817,"id":"Q230817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4471941$C0D8BAC3-3B12-49CC-828D-C3141CABAB72","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b27c40ac149841c8e89df0a408b7b0e67b41631e","datavalue":{"value":{"time":"+2004-07-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4471941$3BDCC980-F63F-4F90-B98E-A95F66F4C0A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ab4dcf7bf44708210de52e9c4fd1f7c80c88ad52","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/1930/19300078.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4471941$7EE0DD34-85AC-47A1-BE18-AABA7B49CA9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4471941$1A1DCE49-3E30-4EF5-8B26-4BF0BE9E72DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4471941$A6F9E7AC-5953-4E4B-86F6-2F268390A997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4471941$A24E7058-8CDF-4DD1-9D76-94E0356BD8F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"191008a12362e4aa7743d118a1cea685d95e4f21","datavalue":{"value":"2079834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4471941$EBD4C0FC-35CD-4981-BCC1-FB4CC021C908","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0f501697f0dc8196354285954a7915634bfb5d","datavalue":{"value":"First-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4471941$381897D7-C6F5-4E6C-944F-FDB53ED1F57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4471941$B78FDC35-3AC3-4B85-AD26-117219E7DE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4984fb81c8672d16a56d5118411a134f91134203","datavalue":{"value":"inference strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4471941$0EF4D154-E232-412E-8D61-45F8E34C821A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3d005f48a359823cd02283a3ea8303cf497bb01","datavalue":{"value":"dual transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4471941$0D0CBB3F-5319-4645-A3B8-BA1BEC42E836","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"233bd03fc74bc4c01e6f828569e5eb13f94bb747","datavalue":{"value":{"entity-type":"item","numeric-id":22242,"id":"Q22242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4471941$20769F6B-6823-4A7E-A647-40038CC84B9E","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":"Q4471941$D9FA3E3E-C88B-4E04-93C8-04AD5A56B95A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9765cac59eddcea60234504b856d9327e06abad7","datavalue":{"value":{"entity-type":"item","numeric-id":3496309,"id":"Q3496309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1648f402c8298a29a9a6180fc37a306358216daa","datavalue":{"value":{"amount":"+0.7676854133605957","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":"Q4471941$509AB132-2101-4178-90A3-9C5C06359AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ea0e32fdf53b0a6a7cb75a05a1278d0a526f7a3","datavalue":{"value":{"entity-type":"item","numeric-id":2745124,"id":"Q2745124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc2c79451d173f5369ebdaf8dfc185fbfbcf414c","datavalue":{"value":{"amount":"+0.7475059032440186","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":"Q4471941$96B6D8F4-3B8D-4B18-9C1D-6131350A1EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10022cbff43848d9869591fe0e96f4d5493fce8a","datavalue":{"value":{"entity-type":"item","numeric-id":4222184,"id":"Q4222184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17d899c312d133071f07b4511fc98ade6f0049ea","datavalue":{"value":{"amount":"+0.7461084723472595","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":"Q4471941$B53600BC-E0CB-4277-8B08-C1ACF8957146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3328acb14c381645dbb1f9eb31b744a4a34bbbc0","datavalue":{"value":{"entity-type":"item","numeric-id":5210762,"id":"Q5210762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30846296a823c62eb9b600562ce3280885447e98","datavalue":{"value":{"amount":"+0.7322152853012085","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":"Q4471941$ACB25CF4-A34B-40CD-9987-767CFBB340E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a3d434253ed919faa661b14e883ac27b635cfa","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3554b9e0aab5ef72658ff46425339c3f67cb0c04","datavalue":{"value":{"amount":"+0.7255516648292542","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":"Q4471941$CB469322-BEAB-411D-9468-47A28349722C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4471941","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4471941"}}}}}