{"entities":{"Q4770508":{"pageid":6800088,"ns":120,"title":"Item:Q4770508","lastrevid":37235537,"modified":"2024-07-30T09:13:06Z","type":"item","id":"Q4770508","labels":{"en":{"language":"en","value":"Representations of the language recognition problem for a theorem prover"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3446439"}},"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":"Q4770508$0FFE2C30-0162-4F30-8AA5-8F3CC593F558","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02296822052149c41bdd50ae8fae58d07c6b9544","datavalue":{"value":{"text":"Representations of the language recognition problem for a theorem prover","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4770508$7E53788E-ED7B-4D9F-90A3-98E98AF1871E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e698f0357686b3ade6ff6753b75aec51f4208a1","datavalue":{"value":"0284.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4770508$08F98420-E936-4F3C-A298-A06BEC7D18BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f87cb8215eb3acd6bd5bcf65d6b2440ea8b7f17a","datavalue":{"value":"10.1007/BF00977256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4770508$5EEA477F-F01E-4FC7-BE83-CCD8CC8E2EE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2a1df6940ad8b72a28bea22198189f244677cda","datavalue":{"value":{"entity-type":"item","numeric-id":1062475,"id":"Q1062475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4770508$38A3F379-434B-4C14-B651-EBA5679948EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"674b77a91dc8300424d8a32840463665fbda868a","datavalue":{"value":{"entity-type":"item","numeric-id":1212801,"id":"Q1212801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4770508$2CF46994-B44F-49D8-A28E-6EBB1E390F42","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"299c62a7bb9adc9e73fd7facae1ee9d7ae362535","datavalue":{"value":{"entity-type":"item","numeric-id":2855323,"id":"Q2855323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4770508$539656DF-D28D-4E60-AFDD-8BA6730981CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"718868df62fa29cb04609217d34e1254e53a40d9","datavalue":{"value":{"time":"+1974-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":"Q4770508$E8A3FC43-483A-42B8-9224-A6A9ABE81882","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4770508$EE5A00EF-ECC9-4646-B091-48DEA274989D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8a784276b4e09d379c8147965411b455c3d79751","datavalue":{"value":"68T10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4770508$FC8D648F-4DEB-4B69-829D-05ED56100CC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e8df64eb4e397c1e12506a8e60a63649b28a57b","datavalue":{"value":"3446439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4770508$61CECE01-9A98-4A1F-A398-ED80422C3FAB","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":"Q4770508$90AA539D-6C73-4D75-9F74-2191A2C2661B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e0ec301a2daa50bbddaee495d81db74f852f2b","datavalue":{"value":{"entity-type":"item","numeric-id":5613968,"id":"Q5613968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4770508$704DE468-C1E5-4D85-B719-30F7C491E433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a4735154d50c08d584a8e28202802fa9d661654","datavalue":{"value":{"entity-type":"item","numeric-id":5679729,"id":"Q5679729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4770508$75B04BCB-EC28-4C5A-9412-15E48D52D610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdf0e41b78de21ea3bb50e6ae49709b5465d5777","datavalue":{"value":{"entity-type":"item","numeric-id":3260847,"id":"Q3260847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4770508$962F19A1-2A76-4288-911A-12F209CBD3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ee4b3dff32df37da8a420ca50710cdb5fb22f6","datavalue":{"value":{"entity-type":"item","numeric-id":5657644,"id":"Q5657644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4770508$83E06025-79A5-4569-898B-156D58B29074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d6412374cd99d26f25760aacca4ecd0fb813a7","datavalue":{"value":{"entity-type":"item","numeric-id":5339307,"id":"Q5339307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4770508$1C34D773-A946-40C1-86EE-3B7CA4924AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4770508$81B15864-20CB-44E5-B031-2F7D2DF0053F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4770508$89043B1F-C4FF-4373-9833-7CE6B73FD0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc6482fda869c7df0ed32fd6ade8f790a1ff04cc","datavalue":{"value":{"entity-type":"item","numeric-id":5585020,"id":"Q5585020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4770508$63F6ED89-130C-4993-BD5B-D85E2006D282","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f09c8478424162622e2e11cbade44966513eb5d","datavalue":{"value":{"entity-type":"item","numeric-id":5621960,"id":"Q5621960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4770508$FDD0D9D5-AD83-47C5-AFDF-164E483E4096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b69d65a67bbaaba2f00d3f9b8be7f859d1d02779","datavalue":{"value":{"entity-type":"item","numeric-id":5663381,"id":"Q5663381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4770508$6F830385-63F0-42D4-B1AE-C1DF434DB789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d763c7e8290a5cd6e50548716b378f22c4aa37","datavalue":{"value":{"entity-type":"item","numeric-id":2547494,"id":"Q2547494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4770508$1F79F3E3-3DBD-4335-B3D4-F702069EC999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62ebef9379ad97d2bdc3c2e7f5717f221d056cb","datavalue":{"value":{"entity-type":"item","numeric-id":5514129,"id":"Q5514129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4770508$F6F26729-4205-4AA1-98BB-DCD539416C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f6b9cd499811e8bf59f5811b67114ca0b6f01e1","datavalue":{"value":{"entity-type":"item","numeric-id":2549243,"id":"Q2549243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4770508$87FFEFBA-3DDF-4A5E-B87A-C1403AA2BB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2352bfd7acf3810bd53303981bf5ccf50de90f87","datavalue":{"value":{"entity-type":"item","numeric-id":4086735,"id":"Q4086735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4770508$D04F762E-60B0-4F31-80CE-AE2D218FAD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e03cd8581db3f1a993a90df4b9b3924df0ec8d","datavalue":{"value":{"entity-type":"item","numeric-id":5528645,"id":"Q5528645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4770508$61AB82FD-77B0-482D-9A76-5A0290E184E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59daa6d767e2d2049a3692f7dd49a87e750b130f","datavalue":{"value":"https://doi.org/10.1007/bf00977256","type":"string"},"datatype":"url"},"type":"statement","id":"Q4770508$F30A18A6-7CA0-4375-A94C-B2B6FEB58E8E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fcedc0d09600ae676b7d6466aaf15b0eb83bb959","datavalue":{"value":"W2006755191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4770508$D97702FD-599D-4FF7-8B17-46FF2C48DC0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4770508","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4770508"}}}}}