{"entities":{"Q3817656":{"pageid":5847562,"ns":120,"title":"Item:Q3817656","lastrevid":53869937,"modified":"2026-01-25T20:48:42Z","type":"item","id":"Q3817656","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4090851"}},"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":"Q3817656$DBDDEDE7-5A2A-4211-81CE-42A4A70ADF50","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3223a155b105f861158dca8b0bc0797f96145cf3","datavalue":{"value":"0666.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817656$DF29BD83-B893-4309-BD01-9B92E3CE5F2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b043e7c633006f3fac5c3bfd0395a92f663b5539","datavalue":{"value":{"entity-type":"item","numeric-id":758210,"id":"Q758210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3817656$24CEAF0A-A237-4167-B028-F4864E8AC228","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3817656$857A3358-45DF-4CED-8EE4-91E190C307FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817656$836D1F7D-D3A4-483D-9D6A-DFEA23512FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817656$71A570C6-FA58-46F2-B408-A98C9A50248B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8350f91392091b335a11df7c29245d662edc826","datavalue":{"value":"4090851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3817656$D957680B-6853-44D8-9E08-1E8F9F578238","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69721b2de1d4a5c917bb24554f35243db9240051","datavalue":{"value":"nonreductive critical pairs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817656$2FF1247D-821C-4509-AB69-AE91721A2219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817656$7D9EE470-D02B-4C39-91CB-BFD2F4836F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"595a1e75b49a7c35cfd3caaaff3a4e298be5d31b","datavalue":{"value":"proof trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3817656$87879B6F-F993-4F67-8A70-FAE209401EF7","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":"Q3817656$500691DF-653D-4643-831C-D506DB637284","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17283dc3a352bbe69c5ef490ea95fcae4900b2bc","datavalue":{"value":{"entity-type":"item","numeric-id":758211,"id":"Q758211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88ad29ad53158c3a6479059f8382ddb8d0a8d97a","datavalue":{"value":{"amount":"+0.9121952652931212","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":"Q3817656$0E7F3223-BC46-4934-B42B-D19540F1085B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77721d9cb503061874b09efce7b3c9fe650f0f3d","datavalue":{"value":{"entity-type":"item","numeric-id":3817580,"id":"Q3817580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60d8fb16c4bb7b7af3b1ef0748236eecf24bb331","datavalue":{"value":{"amount":"+0.8245981335639954","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":"Q3817656$2513A63E-AA55-4251-9640-3454A0D3FB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c1c8784fa4f0a359093f719060d176faecd05b0","datavalue":{"value":{"entity-type":"item","numeric-id":1106659,"id":"Q1106659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46f0ea26d526990a8eac92233d4fd12dd7706a31","datavalue":{"value":{"amount":"+0.8245487809181213","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":"Q3817656$FC36CEF5-137E-437C-BEF4-BD63C3E80E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2567d3171f195e96f5fadcb5959ec11af9eb761a","datavalue":{"value":{"entity-type":"item","numeric-id":3725540,"id":"Q3725540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9e273b0cbe688fa39d311add1fca1460aa4b6ab","datavalue":{"value":{"amount":"+0.8060182332992554","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":"Q3817656$86078DD5-9B1B-4AE7-8F8A-86B69417F4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a38861aa8c5ba98116a45571edd8abc1a857d15","datavalue":{"value":{"entity-type":"item","numeric-id":3993260,"id":"Q3993260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c16687c551bebe838edc68b71f16a0d1b7fcf6dc","datavalue":{"value":{"amount":"+0.8024929761886597","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":"Q3817656$3E0B308C-0F0F-4BF5-A05A-77F780E11795","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3817656","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3817656"}}}}}