{"entities":{"Q4647540":{"pageid":6677121,"ns":120,"title":"Item:Q4647540","lastrevid":53320949,"modified":"2026-01-24T17:43:37Z","type":"item","id":"Q4647540","labels":{"en":{"language":"en","value":"Algebra and automated deduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7001930"}},"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":"Q4647540$F4B052F8-A63F-42A5-AD63-EDA0C418867C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfead50b8997207519e5498156483175b3cef9f9","datavalue":{"value":{"text":"Algebra and automated deduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4647540$A361E196-1087-4E21-968F-1B18DCB71AC6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"838bf4b5348599ca9e616be1a703559d20a12f64","datavalue":{"value":"1412.68242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647540$ED398231-AAB0-46AA-B798-25BF47F06A64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf3a446d83a3bcb5d2c029b235db7ed73ae8d9a4","datavalue":{"value":"10.1007/3-540-61511-3_106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647540$F8FE3FDA-89B9-4B48-8847-BF772437434E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cbac55be82937a15d652749df0565c9a1e9e98a","datavalue":{"value":{"entity-type":"item","numeric-id":307917,"id":"Q307917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647540$75D31C93-B48F-42C2-BAD3-71C38A729439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"900d761f9c607f1ae81d44dbbbc029dbc59519a9","datavalue":{"value":{"entity-type":"item","numeric-id":1193495,"id":"Q1193495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647540$7E3E3548-52A1-4FCA-B8A7-5A4BDD04440F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a98f4f2d90d26b9772dc5074530539047ceeb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":1581130,"id":"Q1581130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647540$16B7F95A-844F-4803-8C55-701CE0184460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b182cd4f9e9cb54195b7976a497640f4d81f2eb","datavalue":{"value":{"entity-type":"item","numeric-id":1169557,"id":"Q1169557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647540$8D6B13CB-2CAC-4A7D-BFBB-48473C6E1E29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1c1c5ae1cd90ac8f2e7ae6528ac21a720bbd1fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4647495,"id":"Q4647495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647540$B68A4111-1B8F-4D55-BD7B-EE624EFFAF43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4647540$BDA821E4-57D0-4F48-BD71-62A366BA4375","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647540$786FA91A-D609-47F6-BCDA-16132DA73C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f96720fe29e309c34c82deec20bd95823bb71652","datavalue":{"value":"20-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647540$C54F0E00-018A-42F8-AF20-765DD33DA4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647540$50D3462F-B944-4A94-AC4E-74A2C5856713","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4fcf01af0b60161ce2de80ac84edbb5429dca42f","datavalue":{"value":"7001930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647540$753BDDFB-F4BC-46D7-9075-A3D7074E63A1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4adc6b05dbbac4fbc2c19f2c02b54eac2e66d6f5","datavalue":{"value":"Q55393307","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647540$3AB5C4F6-E625-40DE-8A20-5B3DB42252C4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91328e3ac5dfce9b45d01b607b8d8c272a5b6733","datavalue":{"value":{"entity-type":"item","numeric-id":14670,"id":"Q14670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647540$4AB70DD8-7C74-46B4-8B43-96337B4F057D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd7f0abef058f8eae97be2e317c30210cbb29e90","datavalue":{"value":{"entity-type":"item","numeric-id":13081,"id":"Q13081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647540$5BE3BC65-387E-43F2-B6C2-C842252A0037","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":"Q4647540$D11AFFB6-CDB6-481A-B6B9-1958893B673D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c796cb80e44910ab13e2f0d505a7dcb349306958","datavalue":{"value":"https://doi.org/10.1007/3-540-61511-3_106","type":"string"},"datatype":"url"},"type":"statement","id":"Q4647540$663420DD-42E6-486D-9937-F9057854CD4C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a6b7166e21c4e47303b32302249094a665d768d9","datavalue":{"value":"W1564734982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4647540$4A50124E-B6F1-4B0D-982C-833392DADA30","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"691d04ec60aeada19c723686c12499fcbeb7280d","datavalue":{"value":{"entity-type":"item","numeric-id":3708174,"id":"Q3708174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647540$6F1A79A7-94EA-4D63-AA11-47505BC66450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c525319ed7a0622a258a9434358c0414c7f08540","datavalue":{"value":{"entity-type":"item","numeric-id":4846257,"id":"Q4846257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647540$49192AA1-0C55-41F2-809F-3E07D1DA65D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647540$C8082F62-23C1-41E5-A4C3-AED700EE390B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647540$904FF59C-67CD-4A08-8D0E-37FED71B2370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79479be3f78950fdebc8d6458730d52e0552f1c","datavalue":{"value":{"entity-type":"item","numeric-id":1176247,"id":"Q1176247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647540$0DE50CAC-2B70-4DB1-B065-30334F63C943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc4ab4c49ceaa025dc1e0ab613193396b97a5c4","datavalue":{"value":{"entity-type":"item","numeric-id":5055717,"id":"Q5055717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647540$A762485A-739D-4E78-BF49-18C6D1D6F5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a57797e7c99953e400e1cfe8efbae934a0ec15a3","datavalue":{"value":{"entity-type":"item","numeric-id":1256061,"id":"Q1256061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647540$DF17CD76-3166-4452-833D-5F3E7EC360E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff5a53fb361de2d7c5d77c0cdad8180e7b7bf7dd","datavalue":{"value":{"entity-type":"item","numeric-id":3686870,"id":"Q3686870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647540$19FDC064-7860-4172-8701-1F599C447FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d1fa670cc273a2a4f9556df1d5d642cc9a15727","datavalue":{"value":{"entity-type":"item","numeric-id":4754848,"id":"Q4754848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647540$D49D016A-4947-4C1E-BEC3-6D0738B87032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e46f0326b647ba2cdf08d8baa3f51cd6a58f37f4","datavalue":{"value":{"entity-type":"item","numeric-id":3994922,"id":"Q3994922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647540$B45949E5-6889-4537-AF5F-ED5FE9551A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf19bba86b1658948443f40e27825fafd38269c3","datavalue":{"value":{"entity-type":"item","numeric-id":4040881,"id":"Q4040881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647540$82AB3205-7DBC-4BC2-BF34-FFB638DBA14D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"610dc34fb7db72f4e99fcaa1b4ef63eaf40e2586","datavalue":{"value":{"entity-type":"item","numeric-id":4771409,"id":"Q4771409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647540$9AC7D885-64D7-4087-AC63-F30BE8FA1308","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384629e6114cabc1828dcf1c984d6fcf19b75be2","datavalue":{"value":{"entity-type":"item","numeric-id":1815855,"id":"Q1815855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647540$AA18FAEC-CFD2-402A-9BB4-2E2D89350F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ff1ac00928c17b6ad1c231d45ff9943a9b4170","datavalue":{"value":{"entity-type":"item","numeric-id":3751631,"id":"Q3751631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647540$58E6C641-2382-4241-84D8-40B4D12B3254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"791ceb4c077d120d1ce15f526d7a9109469efb0a","datavalue":{"value":{"entity-type":"item","numeric-id":1916428,"id":"Q1916428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647540$3255C1B9-5968-4681-9417-0068F02E9846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50dd4dc0740a49694426ef4ad247e0b8f141a91f","datavalue":{"value":{"entity-type":"item","numeric-id":3941589,"id":"Q3941589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647540$D13B81EE-651F-4140-BD91-2147FA3E261C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca52b2a884cc7a0c80b940f40618ca7b89dfd3f2","datavalue":{"value":{"entity-type":"item","numeric-id":4234301,"id":"Q4234301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647540$89AF0E39-BA22-4D93-BB33-E94D32F5BC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac113a0b574f6c299f5ff6d1455571a6350b03d7","datavalue":{"value":{"entity-type":"item","numeric-id":4285784,"id":"Q4285784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647540$892A838E-7D04-4B46-86D3-796C28969300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a06cfdc41080856c4ccde9d8eefd3e90c7f7d46","datavalue":{"value":{"entity-type":"item","numeric-id":580975,"id":"Q580975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4647540$023F38BD-6361-4732-B229-E2AC5A07E69E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"117f0f0c21341a5205408d76d47441cbf8c61ace","datavalue":{"value":{"entity-type":"item","numeric-id":1186705,"id":"Q1186705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff1158731e7e17622afe5cdd31efbe4657ce4d54","datavalue":{"value":{"amount":"+0.7786956429481506","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":"Q4647540$C38039F5-508E-4FE7-98BE-6A8802F44791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d35440f3565b29438cee9a9ef87bcf1820d1ab8f","datavalue":{"value":{"entity-type":"item","numeric-id":5464714,"id":"Q5464714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff1158731e7e17622afe5cdd31efbe4657ce4d54","datavalue":{"value":{"amount":"+0.7786956429481506","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":"Q4647540$34A40224-52D2-4E4A-B4F3-E8DEA5D18853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64e3a16fe5cccad5236a53243e77de9015e09ae1","datavalue":{"value":{"entity-type":"item","numeric-id":792298,"id":"Q792298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61221715d7a15c461232b29f93d355cf5874b597","datavalue":{"value":{"amount":"+0.7373523712158203","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":"Q4647540$EDDDEA27-224C-4E9C-A341-9EE853D1D6AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f3871c91d193182f24e1450a792f7ef1c194e7","datavalue":{"value":{"entity-type":"item","numeric-id":4332419,"id":"Q4332419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a32173241a8e19b5e0de06012c3e6ffe1e8a9c2a","datavalue":{"value":{"amount":"+0.7371414303779602","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":"Q4647540$BDC159A8-21E0-4D0C-BB05-B222C38D5036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfc8f946429773b8798473efeda108734b2b22f3","datavalue":{"value":{"entity-type":"item","numeric-id":4255507,"id":"Q4255507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d13149049453896ef815c16c5e703d85b2dccf8","datavalue":{"value":{"amount":"+0.7369683980941772","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":"Q4647540$957B42B1-2311-473E-ADA9-66639B97C4E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4647540","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4647540"}}}}}