{"entities":{"Q3305345":{"pageid":3316053,"ns":120,"title":"Item:Q3305345","lastrevid":53786660,"modified":"2026-01-25T17:31:05Z","type":"item","id":"Q3305345","labels":{"en":{"language":"en","value":"Reconciling first-order logic to algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7229045"}},"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":"Q3305345$AAF21554-160F-4378-BBDF-723DCF748834","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4434d98f002382ad815fc94ecf0bd83fd9162b4","datavalue":{"value":{"text":"Reconciling First-Order Logic to Algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3305345$9D518516-34F4-4EAD-858B-ECE2CC0C1D55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96d47ab670dcd9e2be0a74b4a301fb5ad12c548c","datavalue":{"value":"1439.03109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305345$F73C6B1E-16C9-4323-9168-E139678E6436","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1480d53c40de3e47f6984839df4e99454673fbe7","datavalue":{"value":"10.1007/978-3-319-98797-2_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305345$B2DA7076-EE9A-4B55-8144-647BB1558C4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea3b7672b6669a878f3344503ca8879f36738292","datavalue":{"value":{"entity-type":"item","numeric-id":281145,"id":"Q281145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305345$36E6598C-D7C2-485E-8997-4ACF2B80F11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2563d9a5dd0b1a47c7b94c26c40c09b5eab1dc7b","datavalue":{"value":{"entity-type":"item","numeric-id":1068072,"id":"Q1068072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305345$43DCA0C6-325D-4072-85A0-FD3EC4D425F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"589f221442fad36e4580b47a659b98f14d9c58cf","datavalue":{"value":{"entity-type":"item","numeric-id":631518,"id":"Q631518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305345$0596229D-35EF-4206-BC3E-DB4965B9A9DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9ef5f862067a8dcfef6601f996709bbb53d732cd","datavalue":{"value":{"entity-type":"item","numeric-id":3295143,"id":"Q3295143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305345$26E45438-BA97-4855-8CAA-095D89A28A92","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b2f48f5ce61ecb0b673378077bcc5a9950613dd6","datavalue":{"value":{"time":"+2020-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3305345$F7EDC3BA-F41E-4454-ACDE-346A58F39D73","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305345$4CF18B3B-49FF-45F0-991D-14779B0D39A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305345$BBD89F0C-6DFC-44BE-A894-B4A64A6358C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4f146cc40fb0fbe4f5f39ad2479d998433d13b04","datavalue":{"value":"7229045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305345$756083BD-C3A8-4497-8B73-0BE381B939D0","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":"Q3305345$F068FE42-825C-4488-84BB-4B557D0031FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8f7f2609553cb8f9af4c16f54e7e9fb51dae90cb","datavalue":{"value":"https://doi.org/10.1007/978-3-319-98797-2_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3305345$01F2C80B-AF67-4D1C-842C-11408137B27F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b8fbead3dc224029e4ab5aa4d2ad39b4cb9d277","datavalue":{"value":"W2897208881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3305345$CD051668-7CBF-4026-ACC9-55BCDFAD758E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"397cde7f6d86ed3026a4b3d79258b37d59f56a23","datavalue":{"value":{"entity-type":"item","numeric-id":3006006,"id":"Q3006006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305345$8F81BC84-3718-499D-AB1D-F756974DE180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3d759ce3d835ac25cb3de3675961bdfa0820159","datavalue":{"value":{"entity-type":"item","numeric-id":5387457,"id":"Q5387457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305345$D3F564DB-AA51-4968-849B-AE498D8E0217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0ecb4b23dc504eaa36fe978d4771114b41d82a5","datavalue":{"value":{"entity-type":"item","numeric-id":710336,"id":"Q710336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305345$F63CDE7B-3ECC-46C7-B2D0-DED6F72CBFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305345$DA0ACCA6-132C-420A-A755-E800B25A9A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fda00f0cd41c4940de52b3c835c1fe3b552ee6e8","datavalue":{"value":{"entity-type":"item","numeric-id":3055596,"id":"Q3055596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305345$79C6E313-78A4-4BE5-B4DE-30A89BDC7915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89adc2405a5bf768b1e75671896b0a04eda66066","datavalue":{"value":{"entity-type":"item","numeric-id":3435238,"id":"Q3435238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305345$299BCE99-457B-4DA9-8BDC-4C506DC9678C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1319b7b3a4463ec62661d6367c6556aa312d5e0d","datavalue":{"value":{"entity-type":"item","numeric-id":3081831,"id":"Q3081831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305345$66F9B211-3D87-40B2-9FD6-04E55323FE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f71c1d2b8f877342d1f75eb537c5f2e4c2476de","datavalue":{"value":{"entity-type":"item","numeric-id":4928710,"id":"Q4928710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305345$F464D290-C795-4260-915A-B7C001246042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8ab5c702e27e7f3e9897d5a639d9b160dab96eb","datavalue":{"value":{"entity-type":"item","numeric-id":281146,"id":"Q281146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305345$B2B52F01-50D0-4E33-B3F8-83D5F5B4D1B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f06da0733433b72cc38e384260530070cb37219d","datavalue":{"value":{"entity-type":"item","numeric-id":3282928,"id":"Q3282928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305345$ACFBDB6D-FF4C-4297-A133-982C5DC323C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbbcd3074c470d4a46db67b3dfaa02f9246b5be8","datavalue":{"value":{"entity-type":"item","numeric-id":1170185,"id":"Q1170185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305345$809A56BC-58D9-4D51-8786-A1ACB9E8B209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305345$3FE4B3D2-085B-4990-9BD4-66E0838DD8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18ab825a8e6332607d26dc9a859fdfd87824e38c","datavalue":{"value":{"entity-type":"item","numeric-id":5275447,"id":"Q5275447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305345$6D030BED-B762-41B1-BD3F-526A43743E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0572f108b35b2fe2edc701307a6a508b42536cf","datavalue":{"value":{"entity-type":"item","numeric-id":5656762,"id":"Q5656762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305345$EE937010-7149-496C-B081-D3E334F8622D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f276b9c097da477888f56d9df36c956f047153c","datavalue":{"value":{"entity-type":"item","numeric-id":4942686,"id":"Q4942686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3305345$05B409D4-E4BA-4F42-AA0A-6C7D1D649613","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34724f5a107235429ea5d85dfa0b52bc4d39836a","datavalue":{"value":{"entity-type":"item","numeric-id":795823,"id":"Q795823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de1d18a89c4bb4bf483ba4d7978b7611ab3850e7","datavalue":{"value":{"amount":"+0.7542107701301575","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":"Q3305345$14D7D7F3-24C1-472B-BCB3-1BF8EC67290F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34e1cd25550d2143b9a9d744cfc805988df621f5","datavalue":{"value":{"entity-type":"item","numeric-id":3369100,"id":"Q3369100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45bb2db161038e67c6069a962fc093c2c02c4c6d","datavalue":{"value":{"amount":"+0.7296777963638306","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":"Q3305345$5370F93B-8B69-415A-989D-9EB980377688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a4cd327c5735af3967b21964fb8449681111950","datavalue":{"value":{"entity-type":"item","numeric-id":1778066,"id":"Q1778066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59fa05325ba202ecede4b85302cf77945e850d8e","datavalue":{"value":{"amount":"+0.7285736203193665","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":"Q3305345$1B5C3C67-3F96-4C09-B4D2-F540C3FC6817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd6d60bbb00644245d238d42cf2cfb85aae05177","datavalue":{"value":{"entity-type":"item","numeric-id":4586158,"id":"Q4586158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b431ca2d53b3ae01d933e79bf64e0e58c30fbde","datavalue":{"value":{"amount":"+0.7264965772628784","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":"Q3305345$DC7BDE3D-200E-4D5E-A9A0-ED861975C153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0a40ceae58d2c41b0ff7844fd5d90e672cebad1","datavalue":{"value":{"entity-type":"item","numeric-id":4011712,"id":"Q4011712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"854cc21c57d0662799086bc086b8f4d21f6d4067","datavalue":{"value":{"amount":"+0.7253185510635376","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":"Q3305345$DB53CDC6-4A3C-4A20-9850-F41EB50635A3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3305345","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3305345"}}}}}