{"entities":{"Q4483873":{"pageid":6513472,"ns":120,"title":"Item:Q4483873","lastrevid":28669776,"modified":"2024-03-05T15:03:26Z","type":"item","id":"Q4483873","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1919476"}},"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":"Q4483873$868022CC-6F7E-437D-846B-F8A70F920692","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"30d5057c7e37620a1ea3628402f536e02c24438f","datavalue":{"value":"1013.03500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4483873$67D7993E-5BE6-43C4-AB7F-0B6DC11563B3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46b3164955d066c94e5ca80f9b77d5556af9404a","datavalue":{"value":{"entity-type":"item","numeric-id":2742955,"id":"Q2742955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4483873$43BE3D47-255B-4117-837B-635298822498","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2b40c08a2730a883022880979a273ca836a2fb3","datavalue":{"value":{"time":"+2003-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4483873$BC568D1C-83C4-439D-A2AB-B6CEB44A8A0E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4483873$7E9E849D-DDD5-4776-A420-7B90A684B085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4483873$FF232043-5037-4ECB-AE65-7DFEEBC44B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4483873$64338D8E-083E-486D-98E1-0CF71EDE9C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4483873$C2E3DB59-FF3F-4EEB-9574-502D6E223F7A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"05dc3b93afb4e84f1080db6465947a7bca773adb","datavalue":{"value":"1919476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4483873$152AF6EB-E1E9-4E34-9613-FEFA88751F8D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4483873$35B9EC9C-AE7E-4365-A919-BD6352F4946C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4483873$7639B33C-708B-4E4F-8D38-B3750D53D1CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4483873$B0907ABA-31DA-420B-92E5-696BDF0A27FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f5f9fa7c99fed84610c34025a6959701496fde6","datavalue":{"value":"normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q4483873$D21C848C-4C79-477D-9AEA-4A778BB6803E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4483873$8297D6EE-6EC7-4B24-87E9-03F344B2C23F","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":"Q4483873$02E7516D-C216-4328-B4C3-2454B6209A2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4483873","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4483873"}}}}}