{"entities":{"Q3685162":{"pageid":5715068,"ns":120,"title":"Item:Q3685162","lastrevid":50087962,"modified":"2026-01-12T22:05:58Z","type":"item","id":"Q3685162","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3907744"}},"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":"Q3685162$91F402E3-A327-4C9B-9430-ED92E3F086D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6dd4e860d094c00010418dd51f94a772d17d13f","datavalue":{"value":"0568.68007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3685162$2002B60A-2FD2-4AF5-9B11-3DC4822E5258","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8fea356f84d37a924ceb58cfe03d1b4469ed36c","datavalue":{"value":{"entity-type":"item","numeric-id":879365,"id":"Q879365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3685162$82364728-8428-491D-8BAB-D259876653B8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3685162$0CB6535C-239B-4865-9E05-955C5E38AF78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3685162$A24E554A-3416-4D5D-AA6D-CA15909B34D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3685162$CF059208-B56E-40F9-8DD2-DF257BA759C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fb64183c9d84bea714cf247b02186ec49c4221d","datavalue":{"value":"3907744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3685162$604990C4-1AA5-424C-BE14-A24358523D0F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebbad0c29783568cd7bb78933722ce54b2ee1997","datavalue":{"value":"failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685162$49A1B836-E2C7-4540-A1DC-19A6BBF8F02F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c903d92089dff22847abd0832e98862d75362d91","datavalue":{"value":"exception handling","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685162$ABD0EFE8-6A96-4954-88C4-112A9D5DA724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e8fe75ecdeef7e0425c4bb1338f9134c5adf0be","datavalue":{"value":"backtracking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685162$A1A482E9-39F1-48FC-8F91-EE1D2B4C9801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2450e02f50939b46b52c3140c8d1d485cebe36e5","datavalue":{"value":"pattern matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685162$86A54137-58D0-4171-BC16-53E4AEE25292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea290032d710a04356408d10e3e939703353014e","datavalue":{"value":"functional language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685162$3BE23E4A-C55F-48C5-8ED8-6AC0DDE0F1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b21d58c4afcd9e47493de8b658e7b2c4c12cdcf1","datavalue":{"value":"lazy evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685162$D954C8F7-A8BE-4B5E-9228-DCDD7F255F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"988660e794477fbdeb3da9a4940a13a456348f61","datavalue":{"value":"theorem proving using tacticals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685162$005A3293-18F7-4581-A55D-4524C1D1499E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ac6410585e8ea2299698aa0a41a1fb435b26792","datavalue":{"value":"ML/LCF","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685162$EB289F56-C43D-4ECF-A84B-6E9767F46A82","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":"Q3685162$6075F222-DFCD-49D6-909C-92221671737F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3685162$5AA25699-5B96-4215-A042-A71D2D491031","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":"Q3685162$D8581F87-B9B8-455E-AC89-7508BCE723E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6336123601a7a9528e15fd9bf0e208bf110c241e","datavalue":{"value":{"entity-type":"item","numeric-id":2996183,"id":"Q2996183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b2cb9c4a50b570698d0d18b922f745083d1a30","datavalue":{"value":{"amount":"+0.77441335","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":"Q3685162$BAD9523B-347F-4136-AE90-F671A4845019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e8ee0beed74b489015ae957756b5ba3557b1363","datavalue":{"value":{"entity-type":"item","numeric-id":3011970,"id":"Q3011970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00748ed9364ef162ee588aaaf05a7c799f92bf6a","datavalue":{"value":{"amount":"+0.76558846","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":"Q3685162$5CBBEAA5-7F5A-46ED-AD99-5DF62D1B3F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"814fa6db88e147a87a36e0fe5de5e9762c579a97","datavalue":{"value":{"entity-type":"item","numeric-id":2873788,"id":"Q2873788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85036ee866674c76578d214e1b0e4f707907a130","datavalue":{"value":{"amount":"+0.75941885","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":"Q3685162$36D55FA4-326C-406A-9779-D13DA22801F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a3473d1b4dde1c282d33d41cbd0091f75bcd22","datavalue":{"value":{"entity-type":"item","numeric-id":4819004,"id":"Q4819004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06c056844550ca7e822b9d4f464942be3c7104a7","datavalue":{"value":{"amount":"+0.75649226","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":"Q3685162$EC9FCE25-D134-4F65-BD83-67FC83FC7D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6edaa74c47ba961bb5c11468f15a7a8179a9fd3","datavalue":{"value":{"entity-type":"item","numeric-id":1892182,"id":"Q1892182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a9445d333a4f80b04008b098bc36ca5a838bd5f","datavalue":{"value":{"amount":"+0.7562119","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":"Q3685162$A380C50F-B3D9-4D10-9231-91A6CB1AEE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3d2b9e28815f430bf250c196e9dfa6b5f93d4f4","datavalue":{"value":{"entity-type":"item","numeric-id":4409162,"id":"Q4409162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e003f5506f47fe7820030e010310f2ddbced203b","datavalue":{"value":{"amount":"+0.7557257","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":"Q3685162$499DACC1-65A8-4586-ADD1-49439743D5C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebde966e1aea8b600e3effce94250b2e71f008ce","datavalue":{"value":{"entity-type":"item","numeric-id":3761669,"id":"Q3761669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"169eae0730e6d4759e6aa961f0f06558a0dc2a8e","datavalue":{"value":{"amount":"+0.75319314","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":"Q3685162$9ABF8024-538D-4319-A775-FCEE00D35086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"375cdb8d1b578209dcf75b4904f8e4e0b3c20bbb","datavalue":{"value":{"entity-type":"item","numeric-id":2844060,"id":"Q2844060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e975f359abfb3ce245c7d0775dde417f0ad80c0","datavalue":{"value":{"amount":"+0.7505628","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":"Q3685162$5140CE76-8CA8-4B5D-B59A-72AC8F1E5E1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3685162","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3685162"}}}}}