{"entities":{"Q1104124":{"pageid":1114876,"ns":120,"title":"Item:Q1104124","lastrevid":42879296,"modified":"2025-07-15T16:06:21Z","type":"item","id":"Q1104124","labels":{"en":{"language":"en","value":"Man-machine theorem proving in graph theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4055093"}},"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":"Q1104124$6966FAE7-C883-4F3B-9830-59DC39E601FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51ce1aba17da0e9bb5eebf1fc0583b8d06d9cc7e","datavalue":{"value":{"text":"Man-machine theorem proving in graph theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1104124$3B2A81D7-3E75-4BD4-8D43-23C65F40224E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c2515fe5505c56ed0bc80d99a1dd892e89332e2","datavalue":{"value":"0646.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104124$568A712E-1CF3-445C-9DB9-A30E0C9BD781","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43dcb09f9c8291626c7b05f1c6b971ce1a34a009","datavalue":{"value":"10.1016/0004-3702(88)90030-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104124$DAF5FE34-D8C9-4CF5-AE07-527993A0319B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e159b2ff181ef610289544faa401712e8bd9940b","datavalue":{"value":{"entity-type":"item","numeric-id":1104123,"id":"Q1104123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104124$1454419E-89AD-4BC8-AA05-FCE2629CD42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee130c9b7f60a5b1364d597046dcd0740de6d4e3","datavalue":{"value":{"entity-type":"item","numeric-id":1299997,"id":"Q1299997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104124$679BD8A5-76A3-4DF6-A4A6-50FE7781D579","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104124$F4217149-627B-4258-AA5B-AE6323DED33F","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":"Q1104124$72C5ED16-9411-4AD8-AAF9-EB9F51CCDB96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104124$CDD37E03-017D-4B4C-B94C-6DB38422ACFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f9920e258389d79a7ef76ef96a77d2e9cc60267","datavalue":{"value":"05-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104124$8C9A875E-3C3E-4263-AE28-6D41C2384304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104124$74C54701-67A1-44CE-9BEE-156181A88F00","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f917fc04e8ebec9eaaca5964542528f05f69973e","datavalue":{"value":"4055093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104124$D1367751-F196-450F-ACA6-1AAE220C13A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50da3e22f353aab60122cf77f58fb715a3c4aa9b","datavalue":{"value":"interactive programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104124$B7728FA9-45A2-42F0-B98C-6C47080F0028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c273e4869d032d4e293cd714be088f3c49828372","datavalue":{"value":"computerized graph theory bibliography","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104124$B23A23E2-46AD-4F12-9248-3302F2A50CBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28219bf956b1ae9811d34148677f64a48457ad8c","datavalue":{"value":"graph theoretic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104124$23C286EC-73C7-4B62-8D53-1F4F0FF07BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"471c8f8daa284748af55be6cf731cf1f6d77f730","datavalue":{"value":"mechanical theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104124$A9560C5D-E0EE-4EC6-B825-05C464D38F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ec171027d1650ccf5b7f14821b846bd5dc75680","datavalue":{"value":"complexity measure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104124$27E8921F-EB65-4E9B-B4BA-0004249C9C00","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2aea0b18f3d9786b3eaf1edea85a7d7ee12e7a63","datavalue":{"value":{"entity-type":"item","numeric-id":40620,"id":"Q40620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104124$E0A2B2C4-24C4-4B7E-93D7-00EF12490E34","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":"Q1104124$FC279417-0D50-41E6-A9D0-D443771E451C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0167530df5a923e6057c24d8fe1984ac72e7628c","datavalue":{"value":"https://doi.org/10.1016/0004-3702(88)90030-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q1104124$53D180F8-1C26-4AD1-91EC-F18186DC5425","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee199c34f6968fff19fbc94726b38f5e6b1b2f1f","datavalue":{"value":"W1965876066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104124$F795D30C-AF51-4F62-824E-3D9845F6F68A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01e257de26ac9a133bd964b94c92e06f5dff6265","datavalue":{"value":{"entity-type":"item","numeric-id":3921280,"id":"Q3921280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104124$FC13CE9F-653E-449D-B5BA-FADD04C95D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8aad5838094983af9073d98367220ae4e95efae","datavalue":{"value":{"entity-type":"item","numeric-id":3672040,"id":"Q3672040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104124$4D295D5A-A7F8-480B-9F91-BBE6C5A570F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32929a00f54018458c96263147cbb36fcc2dfdd1","datavalue":{"value":{"entity-type":"item","numeric-id":3684166,"id":"Q3684166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104124$EF370A48-A27E-4A6D-A614-7DD3A3369DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5ef6184c5980d88dd32e1fb5aa9732f4dc0b4d4","datavalue":{"value":{"entity-type":"item","numeric-id":3315555,"id":"Q3315555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104124$901D3504-2165-48C2-A428-99CE2C4A38FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"280442ce105b23ca3597e15fa2038c58314d7165","datavalue":{"value":{"entity-type":"item","numeric-id":1845619,"id":"Q1845619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104124$B399269A-05A4-48AA-802A-236249608E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f20e02bb907f90cb22a0a676f448fd7139f7410","datavalue":{"value":{"entity-type":"item","numeric-id":2547495,"id":"Q2547495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104124$9C93C56C-8BD1-4FD5-84FF-34F974D979D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e857e95d91a8e9f3746c9aca423c534197fa21d","datavalue":{"value":{"entity-type":"item","numeric-id":1238434,"id":"Q1238434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104124$AE1E179D-E45A-48C1-A652-5B2CD8194679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104124$87CDA098-DF7D-4FE6-B30D-C7AFA606080C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f925c3484e3ab34ac1ab9e6de3d958835645001","datavalue":{"value":{"entity-type":"item","numeric-id":3880315,"id":"Q3880315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104124$C8072537-B16B-44E6-AB9B-278801AF6F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c22cd5f1d315702075f76f2160148b3d9ad9bc16","datavalue":{"value":{"entity-type":"item","numeric-id":3662642,"id":"Q3662642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104124$D8C2858C-B4A0-48CA-A79A-4FDB5565851E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b4fa8e5fe8fbd317c1920c018f351875cfa26c1","datavalue":{"value":{"entity-type":"item","numeric-id":3332284,"id":"Q3332284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104124$40C982F6-013D-4BE0-A85B-51BDF4B35C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c34de099615f3434a95d9193e3ff4af67130292","datavalue":{"value":{"entity-type":"item","numeric-id":3709920,"id":"Q3709920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104124$ACD2885C-10CE-491D-A010-DBD987285ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd37a31c5ce9eb3310a3d2861b39c852af91e8aa","datavalue":{"value":{"entity-type":"item","numeric-id":1149799,"id":"Q1149799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104124$3F3C77BC-F5F1-40DF-9C5B-8AF56E7FFCFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83010647e819308504f3ce15eb88af5a18fc7ded","datavalue":{"value":{"entity-type":"item","numeric-id":1220948,"id":"Q1220948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104124$232597B6-D924-4241-A75E-BE632CD307B3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46bb56130477d532bbcc8addaa769c01371e53f7","datavalue":{"value":{"entity-type":"item","numeric-id":3684166,"id":"Q3684166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23fa430ea11aa92ff9ee08141b0e7813268500e1","datavalue":{"value":{"amount":"+0.9160897","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":"Q1104124$D169CF5B-9586-4B58-BC00-6C3AEF96D170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74e5c4de3682dd0d7ed6433442c7ef8e31d27133","datavalue":{"value":{"entity-type":"item","numeric-id":3783626,"id":"Q3783626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"011cdbe7a35310287d1935c858357fd82b10be38","datavalue":{"value":{"amount":"+0.8680701","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":"Q1104124$F866658D-F280-4478-B1AC-4BBF03B9F521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"958e588afe0ca5d188b1f656e62b30edd39e05fa","datavalue":{"value":{"entity-type":"item","numeric-id":3826516,"id":"Q3826516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c07fcaa38ff53e11f8c09b1f4771e2349631001d","datavalue":{"value":{"amount":"+0.8603271","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":"Q1104124$9F2D5D99-C5E8-4DBF-9D05-916B1573C9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"987d45e8f2e33fb0c4c91657cb9cf402401c66a7","datavalue":{"value":{"entity-type":"item","numeric-id":3315555,"id":"Q3315555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06dd4dde61ca7e2eaa08f2cf739561277c4291aa","datavalue":{"value":{"amount":"+0.8540788","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":"Q1104124$3E9470D4-4B09-43FF-9498-259858F3E34A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5caf9de33d1799cb19ca4a87514a35fe4bcf1918","datavalue":{"value":{"entity-type":"item","numeric-id":704001,"id":"Q704001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fafa42b712dd643ea1785f6e2ad3bc167ef4239","datavalue":{"value":{"amount":"+0.8536538","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":"Q1104124$09C502C3-C784-4172-B318-1995B9037D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7cc5c12a50d36c4e1ff09b9b90c20c7cd10d791","datavalue":{"value":{"entity-type":"item","numeric-id":3820061,"id":"Q3820061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0f6b786935601f19d6c336969e159d56c01bf1a","datavalue":{"value":{"amount":"+0.8533043","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":"Q1104124$D9F67EDE-9321-4D7B-891C-69B7BE1ECAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa8231b8a3e82e86a0372fd18ed85d7e49e09306","datavalue":{"value":{"entity-type":"item","numeric-id":4530463,"id":"Q4530463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85722d439d18b57838588e4cc909f5928cf3c44a","datavalue":{"value":{"amount":"+0.8527102","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":"Q1104124$7867B90E-A657-43AA-BF07-82BA7B3DEC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6650469c97d2760b1103680152b4248d06cf6928","datavalue":{"value":{"entity-type":"item","numeric-id":5112388,"id":"Q5112388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e067eb7ec904186a766489a801348b07b558a7f5","datavalue":{"value":{"amount":"+0.8518343","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":"Q1104124$4CFD79DD-369B-4305-892E-A42135B53C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f94569e8d866bb83bbbcc1df5dd9a1899c4e9afa","datavalue":{"value":{"entity-type":"item","numeric-id":4207939,"id":"Q4207939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96beb0f3a461864d5ee3906fbcd3da42dd73432e","datavalue":{"value":{"amount":"+0.85073173","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":"Q1104124$86E4966F-C7F7-4D4A-B565-2D63A71CDD10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1104124","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1104124"}}}}}