{"entities":{"Q5307478":{"pageid":7337052,"ns":120,"title":"Item:Q5307478","lastrevid":95930936,"modified":"2026-06-05T10:03:13Z","type":"item","id":"Q5307478","labels":{"en":{"language":"en","value":"Unifying Theories in ProofPower-Z"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5191186"}},"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":"Q5307478$7271F822-6679-492E-B203-FBBA54C7BC58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"192285f2a12da250c633d221d7a78fca93428d85","datavalue":{"value":{"text":"Unifying Theories in ProofPower-Z","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5307478$B3D1DE68-77C2-4A66-AEB4-8F4C859B501B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7982ef7cac2eeaca83a488bf2185016a1d93fbfe","datavalue":{"value":"1186.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307478$B151EAE1-8AFE-467D-AF0D-5551715AAF16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a14ea8dddc209caf21a2ccf25f2f9e5b82d87110","datavalue":{"value":"10.1007/11768173_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307478$633D61F8-8AAB-464F-B54F-1FA866E116E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"189ef02bdf1a02bbfe00844a63434a369a39330e","datavalue":{"value":{"entity-type":"item","numeric-id":333317,"id":"Q333317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307478$10DA204B-0C7B-41F9-BC8F-CA2882259E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f27d31a7277a70c7762a067d64f6707ee9b1ea6","datavalue":{"value":{"entity-type":"item","numeric-id":315300,"id":"Q315300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307478$4E89B3CF-9CB9-4E50-BDE0-F4E50323975F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f50520e0dfe9b201fccdcdaf0b58056733a7110","datavalue":{"value":{"entity-type":"item","numeric-id":826051,"id":"Q826051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307478$D09A2C28-6A9A-438C-B6D0-D25390B43498","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a469690149bc3cf60335251215f8201e92d3e50c","datavalue":{"value":{"entity-type":"item","numeric-id":2814611,"id":"Q2814611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307478$3BA5F61E-83BF-4AEF-A399-DBD8672014B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d8d888fd6e09260586cdcd0763135eb1ff3970b6","datavalue":{"value":{"time":"+2007-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5307478$C0AE6449-A454-4BA9-ADA3-9E88FFA6BDAF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307478$546E887F-97F7-4FB5-B4E0-CA43500A1CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307478$2863D14D-835A-4EC9-AB1F-C226963AEDE1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"373c9dc28b66c252eddb20723e4c1a90186892fd","datavalue":{"value":"5191186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307478$4A1DF7F7-192F-4FD4-9CB2-4B5BDFE5F55E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d866d2f01ac2c31359811196209e4cb400acaa05","datavalue":{"value":"unifying theories of programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5307478$EE7490ED-4708-4E5E-B330-E170926DAAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q5307478$6E6E0B81-98F3-49A2-8913-0EFA0F2650CB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b2040a476017b43b21bd352cfec0a67d631d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":18467,"id":"Q18467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5307478$EBF35F88-46E0-4A2E-B4B4-581FB75EA321","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":"Q5307478$E94951C9-BA29-419F-BE5C-D3C0B581E8A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"387208e2176f4c720ce6b8e89a41045a34456456","datavalue":{"value":"https://doi.org/10.1007/11768173_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q5307478$E17116E2-2652-4F7E-A170-E7FAA5871D4B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e34b45f1a4487a9b4b0088db35dc29a0bfad8ce","datavalue":{"value":"W2159877500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5307478$47D25119-1F32-4E3D-BACE-D169168A3E2C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a73c88cae8fa0a228995f00f01a8b5461832bfc","datavalue":{"value":{"entity-type":"item","numeric-id":1941892,"id":"Q1941892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6abced6e65ec86c0ac724ffe610bd3953b2700e1","datavalue":{"value":{"amount":"+0.9843760132789612","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":"Q5307478$D5E59AF4-4501-41EC-9001-2304F1268A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a882b9f94d2d662fc1bfb61a704bef560732636","datavalue":{"value":{"entity-type":"item","numeric-id":436368,"id":"Q436368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba1b13a3ffa82b74aa423e23e3bcd73f45bd47d2","datavalue":{"value":{"amount":"+0.8122594952583313","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":"Q5307478$0E09BD4E-C043-4C01-B652-6AF8BA7FCF9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"687d4e36e0188adebac5ebaaa109ac2a3562936b","datavalue":{"value":{"entity-type":"item","numeric-id":5307484,"id":"Q5307484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdbd2499999419a9d36e7a160bf3ede6f7c53cff","datavalue":{"value":{"amount":"+0.8049868941307068","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":"Q5307478$18FC83E1-6376-4CD0-9C81-777173DD4007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34160df6711a57363183228c6a05d61860201eb0","datavalue":{"value":{"entity-type":"item","numeric-id":5179366,"id":"Q5179366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ba7dd8ca26d022a12e47ae9aa42899fff76c6ea","datavalue":{"value":{"amount":"+0.7915914058685303","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":"Q5307478$2D681297-D8B2-48E6-BBEC-9BEF2C3A72CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6442d5e89d0411d47ef58a6a762b691cfeb68bf8","datavalue":{"value":{"entity-type":"item","numeric-id":2948230,"id":"Q2948230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e165c92b569e528a1f42d11d9dd114931a063e4","datavalue":{"value":{"amount":"+0.7835479974746704","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":"Q5307478$9C20A33B-3D7C-4D16-B21A-3D3522AB97D8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unifying Theories in ProofPower-Z","badges":[]}}}}}