{"entities":{"Q1183372":{"pageid":1194121,"ns":120,"title":"Item:Q1183372","lastrevid":42308551,"modified":"2025-06-05T10:17:27Z","type":"item","id":"Q1183372","labels":{"en":{"language":"en","value":"Knowledge representation for mathematical discovery: Three experiments in graph theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 33241"}},"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":"Q1183372$2488F788-5B0A-4329-BEBD-FE75D7536197","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5b2da077ff9db2973435b055e28579844930f058","datavalue":{"value":{"text":"Knowledge representation for mathematical discovery: Three experiments in graph theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1183372$BC3CD49E-8010-4FCA-B6C9-E5D4E9FED319","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"176271e1bb254c6762144c686baa5d4ac2b08558","datavalue":{"value":"0768.68198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183372$89C61743-F506-4D77-8B5C-6088B8421752","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"921112d265e4527401db63c3b26cc7156c40b51c","datavalue":{"value":"10.1007/BF00117743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183372$FD73A2AE-E64F-4A18-BF37-4B0B2F42651D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"180e51bfab769e2bdc8c05ad1767e17561cba377","datavalue":{"value":{"entity-type":"item","numeric-id":647438,"id":"Q647438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183372$E52F3220-0C64-46F3-8253-A34F13717AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa3f3e5a41223e893ecba8b4e88b0b72dc53a2ce","datavalue":{"value":{"entity-type":"item","numeric-id":1183371,"id":"Q1183371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183372$C0B24E30-22D0-4902-B611-F70F62CA2F3C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40d0f0558c548372063f2deed9c3bc98f28c94b1","datavalue":{"value":{"entity-type":"item","numeric-id":136413,"id":"Q136413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183372$306A266B-3DB1-4DDF-85B2-418A45EDAB05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1183372$800F335E-8D05-45A6-9698-EDDDCA2DBF22","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183372$33914029-EA11-4ACB-B61B-6190AA11D0EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e35cfda1c439de499de525a8a9009114d934bb37","datavalue":{"value":"05C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183372$2EEB1830-7379-47E7-AF3E-2C4F6912C3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183372$9C5AAF05-564F-4EC2-AAEF-8513C36DF8CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183372$88BA7082-EFB7-4251-8C41-79046D8682CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b32b8930ec8871a3f54012e73419fa42731848a0","datavalue":{"value":"33241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183372$203EE4A9-83A8-41A5-BB0D-E63F88F3EDD5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd656334fdef3fbe245a54ef75adda5e689bc707","datavalue":{"value":"mathematical discovery","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183372$7E4FC196-EA27-496F-8094-710C5311FC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4591ab9a21593549ecde9d3111bd6859d7b545f","datavalue":{"value":"thought experiment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183372$B9442D38-A5DD-4C98-A6C0-8FFEBA5C7B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2df1d4a981ea2f8c41b8d77ed4206b74a79ef886","datavalue":{"value":"machine simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183372$683BBE38-5246-440E-956C-B8B79A763EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdf4dc3db86d44e89a36d3ec12340c2571d04f06","datavalue":{"value":"graph theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183372$9865EE74-B5A6-400A-A00F-0EF11276AFB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"419b0e7c5cabec84942237fc345f3ebbecbeb8e9","datavalue":{"value":"formal grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183372$84C0D756-1613-457C-9F6F-EA60C4F97117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de50abe28b132f30830c7ff0ecfe03db67a7c9dc","datavalue":{"value":"recursive algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183372$76413582-E199-4BCE-BB48-40DDAD39D5F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183372$5CC298C2-3284-4C7B-A8CE-24A38C881462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3eb814f998570d1d6139261a709901fe04d1fe5","datavalue":{"value":"mathematical knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q1183372$AF6D2404-3893-4326-9E34-8B2BA961E7AA","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d759af1fa15020abee3f542edbb2f09587a58fda","datavalue":{"value":"Q114827408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183372$DD4B98EF-1838-48B3-853C-17D6A830CA9D","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":"Q1183372$81C8DC47-BA99-4701-86D9-1E28AAF39241","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946adaf1a8c8f141e0757f8f6f8365e21e858a9","datavalue":{"value":{"entity-type":"item","numeric-id":4099559,"id":"Q4099559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183372$29A87B3F-D3CE-4A29-9395-8F388F75C07E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f88392e2d96e6b20b42940bf56c1735eaf4e5420","datavalue":{"value":{"entity-type":"item","numeric-id":3291034,"id":"Q3291034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183372$6106C4AF-6ECB-4EAB-AA28-C18EBDA64058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea8f9edc5faa2fd277810a544fb03be621def82f","datavalue":{"value":{"entity-type":"item","numeric-id":3097395,"id":"Q3097395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183372$77C7D7EA-7624-4B62-A015-8CFF3D602E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183372$3CB4E646-8AD9-4C43-85C3-B7C3DC306E5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9205ade6c85bc3829eae866ef4136836d723d45f","datavalue":{"value":{"entity-type":"item","numeric-id":5590427,"id":"Q5590427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183372$0B212883-6C0D-4DD4-87AE-9597A071E5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c8f5300884d3963928b0c7cf2836d60722bfd75","datavalue":{"value":{"entity-type":"item","numeric-id":1054170,"id":"Q1054170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183372$0280B0FA-3652-4983-9A28-D8AE081CC10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c09b4163ce1d9d78539d5a53b9032ef724400c3","datavalue":{"value":{"entity-type":"item","numeric-id":3924251,"id":"Q3924251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183372$BDB453A0-B1EB-40C5-885E-56E52F687BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53931acda4d1de6fffc8c785b472a64b77dbbda9","datavalue":{"value":{"entity-type":"item","numeric-id":5402565,"id":"Q5402565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183372$80EC8E40-C0B5-4FCC-AFA1-C9D912EBA544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcd70ec53f5813c6d6ece054e76d3ffd1d08b00a","datavalue":{"value":{"entity-type":"item","numeric-id":5632149,"id":"Q5632149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1183372$58318C5A-3C21-47A9-80B2-3825904EC7BA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8727f681e68c42c65384cd6dd7d8e0a9ad29958a","datavalue":{"value":"https://doi.org/10.1007/bf00117743","type":"string"},"datatype":"url"},"type":"statement","id":"Q1183372$3FC880F3-B309-4753-9B1F-9FAE8E507B03","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b69f98f61dd4482f66302db239ce43f23441e83b","datavalue":{"value":"W2093170717","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1183372$C8376FBB-6124-4FE6-A0F6-920B42A23828","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08a9b2e077f0a9d80824a7883d96ed3ef8396e2c","datavalue":{"value":{"entity-type":"item","numeric-id":3821626,"id":"Q3821626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"361b394e0ec43429fc32e0263c021fd038042017","datavalue":{"value":{"amount":"+0.89543474","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":"Q1183372$40EDACBC-9414-4571-AFB3-E70ACA0BA196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b24d5838eaae9215165fb0c10d8a9e569b8ca3a","datavalue":{"value":{"entity-type":"item","numeric-id":3976797,"id":"Q3976797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"897df41254aaf5b86cfc76893ba1a6b83e558486","datavalue":{"value":{"amount":"+0.8703804","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":"Q1183372$F03DB3F8-C7F4-4474-B15A-59204F2E1686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd5955eaf0d495f6ca27a3df34500a49f981aa2a","datavalue":{"value":{"entity-type":"item","numeric-id":2767936,"id":"Q2767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b3c6c0e41abbb8b361e2dfbd00becb0f6965403","datavalue":{"value":{"amount":"+0.8695123","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":"Q1183372$D5EDEA69-C250-45BD-A591-4026FC037C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87a8f67cf0684118a1c7c2d7517023674e4d576b","datavalue":{"value":{"entity-type":"item","numeric-id":2364688,"id":"Q2364688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"737e595672ff9090939bd2bafbe0e4b128a61ca8","datavalue":{"value":{"amount":"+0.8670682","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":"Q1183372$707412B2-16BF-456F-8B9D-0A9B96FBC1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13713992d1135734036aed112f9c3a65a9860446","datavalue":{"value":{"entity-type":"item","numeric-id":932109,"id":"Q932109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fc868f8d8cd6daf21d011b0f76f68ea1abc83fa","datavalue":{"value":{"amount":"+0.86606085","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":"Q1183372$64CC02D4-D238-4C94-BA8F-4799DF8BCEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"490eb2075b9036f3edb96f6dd61e1cf9f968eaf7","datavalue":{"value":{"entity-type":"item","numeric-id":4253837,"id":"Q4253837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e7198427dd95b562d6a0755b15520f44f5dc33f","datavalue":{"value":{"amount":"+0.8641856","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":"Q1183372$27A9EF1D-51EC-4D5C-AA0E-1C60CB9FEC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d19fcba45f62cbe84a694eccdabc5408a9ab809","datavalue":{"value":{"entity-type":"item","numeric-id":2754227,"id":"Q2754227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e92d2fca155209711f10075d66f7ca41516dfe9","datavalue":{"value":{"amount":"+0.86367714","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":"Q1183372$EADB7757-5866-4B79-9A77-BF00B342179A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b8fa8eed362038183d878b36b1b3cff8e9bb1e0","datavalue":{"value":{"entity-type":"item","numeric-id":5313057,"id":"Q5313057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab4664228ef61f6e75876cb73241a0c546572776","datavalue":{"value":{"amount":"+0.86227196","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":"Q1183372$3DCB9B0F-394A-4451-A8B4-124D59ADBC25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1183372","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1183372"}}}}}