{"entities":{"Q4003336":{"pageid":6033160,"ns":120,"title":"Item:Q4003336","lastrevid":55151767,"modified":"2026-02-04T04:25:05Z","type":"item","id":"Q4003336","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 53085"}},"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":"Q4003336$D218771A-84F5-46A5-B744-07882AF17887","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d44d6d688c0a3c772774beeb62604d90cfa97c19","datavalue":{"value":"0755.68008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4003336$2B9CFFC1-11A5-4626-B1BA-101A75A0EAAE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"199fc774b7d7c0fb191f4d96816895cc32b9520b","datavalue":{"value":{"entity-type":"item","numeric-id":1272348,"id":"Q1272348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4003336$7B817A18-6AA4-462F-B4B5-FDECBC13E198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c3148aec313a02e6c2fdd6275819883a763f27f","datavalue":{"value":{"entity-type":"item","numeric-id":360255,"id":"Q360255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4003336$DE01D9E8-5615-43AC-B651-0044E6B26AED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a36a1bb338826b5fff6c870b4eb6d68a03b885b9","datavalue":{"value":{"time":"+1992-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4003336$7912DC40-4325-4D75-9BCF-6FDF70BF6823","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4003336$C4BBBA05-E400-4987-9D95-061308435D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4003336$20649C17-CE90-4728-82E5-C3F1D70996B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4003336$EA2F74BD-78CB-4325-9043-386283C145C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4003336$17DE1573-84D9-43B3-B1A9-D6A440CAAE7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4003336$8682E69F-A644-4D57-8F1A-47660F76DFFA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f89642ad2a7bb520824d082bbc38b9c89cdf701","datavalue":{"value":"53085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4003336$DCCA22B8-4244-45D3-B3E3-B3078B608E4B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c6e2fb2726e4fa02bd81a23a65511d456730634","datavalue":{"value":"first order predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003336$49588C4F-DB8D-4F45-863E-417F3ACF36EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003336$2BA2586F-B616-4877-8F6F-A9BF2C09B95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003336$B515B992-A266-463B-A3E9-36A52E36F03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c22ffdca00173ced5c1b8efb1893ae52a5dddae4","datavalue":{"value":"many-sorted logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003336$EA990EAD-3BC1-44FA-98EF-78A27BE2BA15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003336$37D43EAF-5FFC-4D97-BC8C-05111D206B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62ed1b2ba167230a9136fae7fa7f544041194248","datavalue":{"value":"Horn logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003336$3CCC9753-0A03-4561-8B19-25A9A7788B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5761462026fbd310efef280243ee4dbc740c7e3e","datavalue":{"value":"logic of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003336$D83953EE-027A-4C78-B35A-AA097463C719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003336$D139BC21-8AC1-4667-AFE5-96F8E6C4E933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003336$BDC0BF41-CBD8-4386-AB0A-F136FA2F7195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003336$B8778F1A-4DEF-465B-B4E9-289205F6AC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003336$62144CE2-027D-4524-88B1-4859FF6A9668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4003336$B4CB750B-AC94-42BE-A549-8BB051FA0E98","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":"Q4003336$FE2C049B-A264-431E-AD4B-15A035C2294E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1219169bc114953f4a7c749e83f5e4953dd42e2d","datavalue":{"value":{"entity-type":"item","numeric-id":4293537,"id":"Q4293537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d90783d2458949249fe4288a34f3456e364aa060","datavalue":{"value":{"amount":"+0.8740411400794983","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":"Q4003336$4CCDCEB4-474E-4D6D-AF55-6A7E3F7C7490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebeda66ad919da2068505ec6cb62abbf8df07469","datavalue":{"value":{"entity-type":"item","numeric-id":5905500,"id":"Q5905500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a7ed1fb91637d14c881743fd455077ec73f77fc","datavalue":{"value":{"amount":"+0.8667012453079224","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":"Q4003336$18E6A1EB-E383-462E-9084-62FBB9374184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9e9e17b0a81aad215536eb5c0c4137929803b98","datavalue":{"value":{"entity-type":"item","numeric-id":3998237,"id":"Q3998237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83c3c14ee5c985b6265ac69f2cbe78fa4730fcc4","datavalue":{"value":{"amount":"+0.8640599250793457","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":"Q4003336$BC5AC13F-4752-472C-97EA-0FC727751DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8443caedf36cb4a469d7c31ca07ef4894cd054f8","datavalue":{"value":{"entity-type":"item","numeric-id":3125203,"id":"Q3125203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d582a4d8e15ed6e9ceab732d98b9206a227b7f52","datavalue":{"value":{"amount":"+0.8592047095298767","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":"Q4003336$5CFA217B-DB1E-4B85-9825-7F03140748BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4003336","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4003336"}}}}}