{"entities":{"Q3484381":{"pageid":5514281,"ns":120,"title":"Item:Q3484381","lastrevid":46915797,"modified":"2025-12-25T20:36:47Z","type":"item","id":"Q3484381","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4155932"}},"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":"Q3484381$2AC8B83E-A58B-43B3-8042-9D2469F1A90E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed54bf4b6ebb5785816be54d74c69882b5c0f4a1","datavalue":{"value":"0704.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3484381$F8AE398D-8FE5-47E1-9F4D-3F4419EFB7E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q3484381$2AE97768-CA4D-4B7C-850A-C7D0D9A0DC7E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3484381$4E33AC27-0B04-406D-A8AA-78C7EC74477D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3484381$6C4BF9C1-8B96-40E7-AEC5-80D17A5A8449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3484381$A211C90C-80A4-4AC8-9082-3AC54453792E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ba0fa70d8f0e812c514de8374b36c95716c75cb","datavalue":{"value":"4155932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3484381$FAA1E8C8-E43A-415E-A5E2-96068C66BF79","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc4d05bf86d31a0f0b6cecfae9c99aca940e1bff","datavalue":{"value":"Nuprl theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3484381$41806E7A-2D70-447C-BE0E-F06A441860B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3484381$DA58F838-9E96-459E-A31C-53C5A1030192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c52f9435dcef04f3d3aaefaad1aeadef6eb7659d","datavalue":{"value":"algorithm for first- order matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q3484381$EFAE925F-CF15-455E-9D7E-A56F11A86B92","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9f99e72dec046038a5377ceee67d8841bab629f","datavalue":{"value":{"entity-type":"item","numeric-id":1051423,"id":"Q1051423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3484381$79A5532D-66EB-4A46-BF4D-9EF045E3F1EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d008c0652adbb92fc29f999e1cff965654b89fb0","datavalue":{"value":{"entity-type":"item","numeric-id":1917067,"id":"Q1917067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3484381$D2C017B9-6F87-41E9-B92E-36406A69C591","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3484381$BC4BA8BF-6DC4-4899-97D8-0E1A3F16E64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3484381$4E46DE65-04CD-4F32-8E23-97F4441FE827","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":"Q3484381$77EB634B-82A0-412F-8A0A-6188C1927D20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3ef072fb71a8f1cd37ad6a71751c23ae314c430","datavalue":{"value":{"entity-type":"item","numeric-id":4249901,"id":"Q4249901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4823cbe3e1e2ac6a245ea6e9938c13d75cec6dc2","datavalue":{"value":{"amount":"+0.9008549","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3484381$0899EC81-221D-49DF-B1AF-94195FAD75B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16b4ad2e93424e9b6828135c36f028dc0dcc0af4","datavalue":{"value":{"entity-type":"item","numeric-id":2219381,"id":"Q2219381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13044735d986499fe58ccb831bdf17b087302cd5","datavalue":{"value":{"amount":"+0.8988658","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3484381$2B0AF9AE-D54A-4040-B8FD-6DD810DB48BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60e028258ea4aa896a0df4c2c907ab74d42539d5","datavalue":{"value":{"entity-type":"item","numeric-id":3411230,"id":"Q3411230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b420568dd705857a948f5b4542645e695830aff","datavalue":{"value":{"amount":"+0.89828","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3484381$F60AE3E9-DE80-4C65-BAA7-AF8B0EC747E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc5435931d86571d4360d36b2e13206d8d9bf866","datavalue":{"value":{"entity-type":"item","numeric-id":3118384,"id":"Q3118384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d767e63dcc7c07fb5fc2e0e861a310368398fdc","datavalue":{"value":{"amount":"+0.89034855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3484381$2B1DD71A-10C3-4B01-A1B0-477795F889A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b360687fbb91abbd8b131ebd7a12117c200994da","datavalue":{"value":{"entity-type":"item","numeric-id":5505501,"id":"Q5505501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c21dd2f17e3fcfd159ef983d13af9ce428a98247","datavalue":{"value":{"amount":"+0.88583976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3484381$67918539-AE25-418D-B4C4-4B1CB05DB047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dcb359b506a22c50bf7da6e8cd15766af11bd94","datavalue":{"value":{"entity-type":"item","numeric-id":4264727,"id":"Q4264727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f31f649b0c4f0401197647ff65b9ab851f2ea37d","datavalue":{"value":{"amount":"+0.8846031","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3484381$BCB8976C-C20E-4E70-8F5E-255393F339BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98ce8bfac77ad8990a4b43d6f86774fb9254705b","datavalue":{"value":{"entity-type":"item","numeric-id":4013816,"id":"Q4013816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae0476d10d380046eb23e9c8cd6901fa661ad9e2","datavalue":{"value":{"amount":"+0.87909263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3484381$7F71AB16-BCFA-4D5D-BA94-A7ECCE9B048E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2cb6bb34055bd7687681718ca2c7bf00c0ca64f","datavalue":{"value":{"entity-type":"item","numeric-id":1057850,"id":"Q1057850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d22129d6db272c5de441e546a947488c2c90237d","datavalue":{"value":{"amount":"+0.8786703","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3484381$A88BEEEA-A8F1-428B-B66D-5259C487731F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc908b5a67bc17bd2b3b9d7e3d3d9681aac12d3","datavalue":{"value":{"entity-type":"item","numeric-id":3781734,"id":"Q3781734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3b0cb27b290355c9c732216ce8723d55869997b","datavalue":{"value":{"amount":"+0.87816733","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3484381$7EC389DA-7BCF-44FC-9DDD-7D62780214F8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3484381","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3484381"}}}}}