{"entities":{"Q5597535":{"pageid":7627095,"ns":120,"title":"Item:Q5597535","lastrevid":32265423,"modified":"2024-03-19T21:52:43Z","type":"item","id":"Q5597535","labels":{"en":{"language":"en","value":"A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3317763"}},"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":"Q5597535$8CDC292A-66D2-4186-A015-EFAB2FB13F19","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85a8082fa69c69aaf1d00405ac3153901656587e","datavalue":{"value":{"text":"A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5597535$951C71E6-0DC0-4D55-9C23-EE552E48DF58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"649b83f13cb3d3223db78336cbbd859824be6564","datavalue":{"value":"0199.31502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5597535$4236267E-CA78-4E49-8371-BAA26287DF83","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49f07e4cbb20ef77392f91b3cc55479115185f25","datavalue":{"value":"10.1145/321592.321603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5597535$D20B43A9-2DD4-43AE-BC0D-892FD3190473","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"103d5ecc83576e7e4b302af596910fea4020fded","datavalue":{"value":{"entity-type":"item","numeric-id":3318091,"id":"Q3318091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5597535$DF18464D-AC5B-42C1-B902-206708C7971D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ac6e57e7cbbcf47c47eab8817c6b7cdfc4fb3e81","datavalue":{"value":{"entity-type":"item","numeric-id":915495,"id":"Q915495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5597535$38CCA445-97B9-45F5-8125-AD64795361DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5597535$0D391E46-9109-435B-B614-FF6E2E59280A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e293d9e9c8dba13b0feb4b9b16887fc748f70c6f","datavalue":{"value":{"time":"+1970-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":"Q5597535$E543DF84-4F10-4CE8-AF07-CAB19CFD1544","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f7bc48e60fc770fae247043a37c5b2ebf73f1c85","datavalue":{"value":"3317763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5597535$7E2163E3-CFAD-465C-9CA0-C83C110581A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"291be7abf7db632a8ba00746eda7cd5f3145426f","datavalue":{"value":"languages, automata, networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5597535$02D0735A-3FC8-49E8-9CE8-4510127963FF","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":"Q5597535$82FF0CB1-9BEA-420C-BC85-08FD792B1D65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"202c866e915134d3b8abbd2c6645c83a2b493dce","datavalue":{"value":"https://doi.org/10.1145/321592.321603","type":"string"},"datatype":"url"},"type":"statement","id":"Q5597535$77AFB645-39A3-4668-ADC8-67C40EFC675D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2bdace5c6885081251cc29692f37268a002df63f","datavalue":{"value":"W2010405422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5597535$FDEB318F-8283-47B8-92D0-5926DB4B85F3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5597535","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5597535"}}}}}